tag	line	file	source code
KBD_DATA_REG	1273	drivers/char/keyboard.c	data = inb(KBD_DATA_REG);
KBD_DATA_REG	1342	drivers/char/keyboard.c	kbd_write(KBD_DATA_REG, KBD_RESET);
KBD_DATA_REG	1358	drivers/char/keyboard.c	kbd_write(KBD_DATA_REG, KBD_DISABLE);
KBD_DATA_REG	1371	drivers/char/keyboard.c	kbd_write(KBD_DATA_REG, KBD_EKI|KBD_SYS|KBD_DMS|KBD_KCC);
KBD_DATA_REG	1376	drivers/char/keyboard.c	kbd_write(KBD_DATA_REG, KBD_ENABLE);