tag	line	file	source code
add_timer_randomness	395	drivers/char/random.c	add_timer_randomness(&random_state, &keyboard_timer_state, scancode);
add_timer_randomness	400	drivers/char/random.c	add_timer_randomness(&random_state, &mouse_timer_state, mouse_data);
add_timer_randomness	408	drivers/char/random.c	add_timer_randomness(&random_state, irq_timer_state[irq], 0x100+irq);
add_timer_randomness	416	drivers/char/random.c	add_timer_randomness(&random_state, blkdev_timer_state[major],
add_timer_randomness	551	drivers/char/random.c	add_timer_randomness(r, &extract_timer_state, nbytes);