Symbol: i8042_pnp_id_to_string
drivers/input/serio/i8042-acpipnpio.h
1507
i8042_pnp_id_to_string(dev->id, i8042_kbd_firmware_id,
drivers/input/serio/i8042-acpipnpio.h
1534
i8042_pnp_id_to_string(dev->id, i8042_aux_firmware_id,