Symbol: i8042_platform_exit
drivers/input/serio/i8042.c
1646
i8042_platform_exit();
drivers/input/serio/i8042.c
1657
i8042_platform_exit();