srandom            63 user/include/stdlib.h void srandom(unsigned long seed);
srandom           352 user/testbin/dirconc/dirconc.c 	srandom(seed);
srandom           294 user/testbin/dirseek/dirseek.c 	srandom(39584);
srandom           526 user/testbin/malloctest/malloctest.c 	srandom(seed);
srandom           530 user/testbin/psort/psort.c 	srandom(seeds[me]);
srandom           571 user/testbin/psort/psort.c 	srandom(randomseed);
srandom           162 user/testbin/randcall/main.c 	srandom(seed);
srandom           106 user/testbin/sort/sort.c 	srandom(533);