tag	line	file	source code
kbd_read_mask	90	drivers/char/keyboard.c	unsigned char kbd_read_mask = 0x01;  /* modified by psaux.c */
kbd_read_mask	355	drivers/char/keyboard.c	if ((inb_p(0x64) & kbd_read_mask) != 0x01)
kbd_read_mask	109	drivers/char/psaux.c	extern unsigned char kbd_read_mask;  /* from keyboard.c */
kbd_read_mask	505	drivers/char/psaux.c	kbd_read_mask = AUX_OBUF_FULL;
kbd_read_mask	48	kernel/ksyms.c	extern unsigned char aux_device_present, kbd_read_mask;
kbd_read_mask	469	kernel/ksyms.c	X(kbd_read_mask),