process_random_ready_list  507 drivers/char/random.c static void process_random_ready_list(void);
process_random_ready_list 1033 drivers/char/random.c 		process_random_ready_list();