HelenOS sources

random            100 kernel/arch/mips32/include/arch/cp0.h GEN_READ_CP0(random, 1);
random             65 kernel/test/synch/semaphore2.c 	to = random(20000);
random             74 kernel/test/synch/semaphore2.c 	thread_usleep(random(30000));
random             89 kernel/test/synch/semaphore2.c 	k = random(7) + 1;
random            100 uspace/lib/c/arch/mips32/include/libarch/cp0.h GEN_READ_CP0(random, 1);