Symbol: add_timer_randomness
drivers/char/random.c
1214
add_timer_randomness(&input_timer_state,
drivers/char/random.c
1225
add_timer_randomness(disk->random, 0x100 + disk_devt(disk));