i8042_kbd_irq_registered  164 drivers/input/serio/i8042.c static bool i8042_kbd_irq_registered;
i8042_kbd_irq_registered 1433 drivers/input/serio/i8042.c 	if (i8042_kbd_irq_registered)
i8042_kbd_irq_registered 1436 drivers/input/serio/i8042.c 	i8042_aux_irq_registered = i8042_kbd_irq_registered = false;
i8042_kbd_irq_registered 1497 drivers/input/serio/i8042.c 	i8042_kbd_irq_registered = true;