Symbol: i8042_controller_resume
drivers/input/serio/i8042.c
1279
return i8042_controller_resume(want_reset);
drivers/input/serio/i8042.c
1298
return i8042_controller_resume(false);