i8042_pnp_kbd_irq  913 drivers/input/serio/i8042-x86ia64io.h static int i8042_pnp_kbd_irq;
i8042_pnp_kbd_irq  939 drivers/input/serio/i8042-x86ia64io.h 		i8042_pnp_kbd_irq = pnp_irq(dev, 0);
i8042_pnp_kbd_irq 1088 drivers/input/serio/i8042-x86ia64io.h 			"%d", i8042_pnp_kbd_irq);
i8042_pnp_kbd_irq 1125 drivers/input/serio/i8042-x86ia64io.h 	if (!i8042_nokbd && !i8042_pnp_kbd_irq) {
i8042_pnp_kbd_irq 1128 drivers/input/serio/i8042-x86ia64io.h 		i8042_pnp_kbd_irq = i8042_kbd_irq;
i8042_pnp_kbd_irq 1133 drivers/input/serio/i8042-x86ia64io.h 		if (!pnp_data_busted && i8042_pnp_kbd_irq) {
i8042_pnp_kbd_irq 1146 drivers/input/serio/i8042-x86ia64io.h 	i8042_kbd_irq = i8042_pnp_kbd_irq;