tag	line	file	source code
add_timer_randomness	422	drivers/char/random.c	add_timer_randomness(&random_state, &keyboard_timer_state, scancode);
add_timer_randomness	427	drivers/char/random.c	add_timer_randomness(&random_state, &mouse_timer_state, mouse_data);
add_timer_randomness	435	drivers/char/random.c	add_timer_randomness(&random_state, irq_timer_state[irq], 0x100+irq);
add_timer_randomness	449	drivers/char/random.c	add_timer_randomness(&random_state, blkdev_timer_state[major],
add_timer_randomness	584	drivers/char/random.c	add_timer_randomness(r, &extract_timer_state, nbytes);