i8042_pnp_id_to_string  946 drivers/input/serio/i8042-x86ia64io.h 	i8042_pnp_id_to_string(dev->id, i8042_kbd_firmware_id,
i8042_pnp_id_to_string  972 drivers/input/serio/i8042-x86ia64io.h 	i8042_pnp_id_to_string(dev->id, i8042_aux_firmware_id,