i8042_pnp_exit   1035 drivers/input/serio/i8042-x86ia64io.h static void i8042_pnp_exit(void)
i8042_pnp_exit   1159 drivers/input/serio/i8042-x86ia64io.h static inline void i8042_pnp_exit(void) { }