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