tag	line	file	source code
KBD_DEFMODE	43	drivers/char/keyboard.c	#ifndef KBD_DEFMODE
KBD_DEFMODE	1174	drivers/char/keyboard.c	kbd0.modeflags = KBD_DEFMODE;