random_variable  1911 platform/generic/wrappers.c static unsigned int random_variable;
random_variable  1913 platform/generic/wrappers.c     random_variable = seed;
random_variable  1914 platform/generic/wrappers.c     return (void *) &random_variable;
random_variable  1919 platform/generic/wrappers.c     value = random_variable*0x41C64E6D+0x3039;
random_variable  1920 platform/generic/wrappers.c     random_variable = value;