arch_get_random_int 2076 drivers/char/random.c 			if (!arch_get_random_int(&t))
arch_get_random_int  156 lib/random32.c 	       arch_get_random_int(&val));