tag	line	file	source code
kbd_read_mask	83	drivers/char/keyboard.c	unsigned char kbd_read_mask = 0x01;  /* modified by psaux.c */
kbd_read_mask	345	drivers/char/keyboard.c	if ((inb_p(0x64) & kbd_read_mask) != 0x01)
kbd_read_mask	1159	drivers/char/keyboard.c	if ((inb_p(0x64) & kbd_read_mask) == 0x01)
kbd_read_mask	114	drivers/char/psaux.c	extern unsigned char kbd_read_mask;  /* from keyboard.c */
kbd_read_mask	501	drivers/char/psaux.c	kbd_read_mask = AUX_OBUF_FULL;