ctx                17 user/grind.c   do_rand(unsigned long *ctx)
ctx                30 user/grind.c       x = (*ctx % 0x7ffffffe) + 1;
ctx                38 user/grind.c       *ctx = x;