i8042_nokbd      1102 drivers/input/serio/i8042-x86ia64io.h 		i8042_nokbd = true;
i8042_nokbd      1125 drivers/input/serio/i8042-x86ia64io.h 	if (!i8042_nokbd && !i8042_pnp_kbd_irq) {
i8042_nokbd        31 drivers/input/serio/i8042.c static bool i8042_nokbd;
i8042_nokbd        32 drivers/input/serio/i8042.c module_param_named(nokbd, i8042_nokbd, bool, 0);
i8042_nokbd      1557 drivers/input/serio/i8042.c 	if (!i8042_nokbd) {