add_timer_randomness 1264 drivers/char/random.c 	add_timer_randomness(&input_timer_state,
add_timer_randomness 1380 drivers/char/random.c 	add_timer_randomness(disk->random, 0x100 + disk_devt(disk));