i8042_pnp_exit   1073 drivers/input/serio/i8042-x86ia64io.h 		i8042_pnp_exit();
i8042_pnp_exit   1234 drivers/input/serio/i8042-x86ia64io.h 	i8042_pnp_exit();