i8042_pnp_kbd_devices  907 drivers/input/serio/i8042-x86ia64io.h static unsigned int i8042_pnp_kbd_devices;
i8042_pnp_kbd_devices  952 drivers/input/serio/i8042-x86ia64io.h 	i8042_pnp_kbd_devices++;
i8042_pnp_kbd_devices 1072 drivers/input/serio/i8042-x86ia64io.h 	if (!i8042_pnp_kbd_devices && !i8042_pnp_aux_devices) {
i8042_pnp_kbd_devices 1086 drivers/input/serio/i8042-x86ia64io.h 	if (i8042_pnp_kbd_devices)
i8042_pnp_kbd_devices 1094 drivers/input/serio/i8042-x86ia64io.h 		i8042_pnp_kbd_name, (i8042_pnp_kbd_devices && i8042_pnp_aux_devices) ? "," : "",
i8042_pnp_kbd_devices 1097 drivers/input/serio/i8042-x86ia64io.h 		kbd_irq_str, (i8042_pnp_kbd_devices && i8042_pnp_aux_devices) ? "," : "",
i8042_pnp_kbd_devices 1101 drivers/input/serio/i8042-x86ia64io.h 	if (!i8042_pnp_kbd_devices)