input_timer_state 1193 drivers/char/random.c static struct timer_rand_state input_timer_state = INIT_TIMER_RAND_STATE; input_timer_state 1264 drivers/char/random.c add_timer_randomness(&input_timer_state,