tag	line	file	source code
kbd_read_mask	81	drivers/char/keyboard.c	unsigned char kbd_read_mask = 0x01;  /* modified by psaux.c */
kbd_read_mask	341	drivers/char/keyboard.c	if ((inb_p(0x64) & kbd_read_mask) != 0x01)
kbd_read_mask	1144	drivers/char/keyboard.c	if ((inb_p(0x64) & kbd_read_mask) == 0x01)
kbd_read_mask	92	drivers/char/psaux.c	extern unsigned char kbd_read_mask;  /* from keyboard.c */
kbd_read_mask	458	drivers/char/psaux.c	kbd_read_mask = AUX_OBUF_FULL;