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