tag	line	file	source code
mouse_data	398	drivers/char/random.c	void add_mouse_randomness(__u32 mouse_data)
mouse_data	400	drivers/char/random.c	add_timer_randomness(&random_state, &mouse_timer_state, mouse_data);
mouse_data	31	include/linux/random.h	void add_mouse_randomness(__u32 mouse_data);