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