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