tag	line	file	source code
show_state	156	drivers/char/keyboard.c	show_state,  send_intr,  lastcons,  caps_toggle,
show_state	104	include/linux/sched.h	extern void show_state(void);