tag	line	file	source code
KBD_DEFLOCK	55	drivers/char/keyboard.c	#ifndef KBD_DEFLOCK
KBD_DEFLOCK	1184	drivers/char/keyboard.c	kbd0.lockstate = KBD_DEFLOCK;