tag	line	file	source code
set_kbd_dead	198	kernel/chr_drv/keyboard.c	set_kbd_dead(KGD_E0);
set_kbd_dead	202	kernel/chr_drv/keyboard.c	set_kbd_dead(KGD_E1);