i8042_platform_exit 1630 drivers/input/serio/i8042.c 	i8042_platform_exit();
i8042_platform_exit 1638 drivers/input/serio/i8042.c 	i8042_platform_exit();