taglinefilesource code
add_timer_randomness422drivers/char/random.cadd_timer_randomness(&random_state, &keyboard_timer_state, scancode);
add_timer_randomness427drivers/char/random.cadd_timer_randomness(&random_state, &mouse_timer_state, mouse_data);
add_timer_randomness435drivers/char/random.cadd_timer_randomness(&random_state, irq_timer_state[irq], 0x100+irq);
add_timer_randomness443drivers/char/random.cadd_timer_randomness(&random_state, blkdev_timer_state[major],
add_timer_randomness578drivers/char/random.cadd_timer_randomness(r, &extract_timer_state, nbytes);