kbd_irq_str      1050 drivers/input/serio/i8042-x86ia64io.h 	char kbd_irq_str[4] = { 0 }, aux_irq_str[4] = { 0 };
kbd_irq_str      1087 drivers/input/serio/i8042-x86ia64io.h 		snprintf(kbd_irq_str, sizeof(kbd_irq_str),
kbd_irq_str      1097 drivers/input/serio/i8042-x86ia64io.h 		kbd_irq_str, (i8042_pnp_kbd_devices && i8042_pnp_aux_devices) ? "," : "",