i8042_pnp_aux_devices  909 drivers/input/serio/i8042-x86ia64io.h static unsigned int i8042_pnp_aux_devices;
i8042_pnp_aux_devices  975 drivers/input/serio/i8042-x86ia64io.h 	i8042_pnp_aux_devices++;
i8042_pnp_aux_devices 1072 drivers/input/serio/i8042-x86ia64io.h 	if (!i8042_pnp_kbd_devices && !i8042_pnp_aux_devices) {
i8042_pnp_aux_devices 1089 drivers/input/serio/i8042-x86ia64io.h 	if (i8042_pnp_aux_devices)
i8042_pnp_aux_devices 1094 drivers/input/serio/i8042-x86ia64io.h 		i8042_pnp_kbd_name, (i8042_pnp_kbd_devices && i8042_pnp_aux_devices) ? "," : "",
i8042_pnp_aux_devices 1097 drivers/input/serio/i8042-x86ia64io.h 		kbd_irq_str, (i8042_pnp_kbd_devices && i8042_pnp_aux_devices) ? "," : "",
i8042_pnp_aux_devices 1103 drivers/input/serio/i8042-x86ia64io.h 	if (!i8042_pnp_aux_devices)