i8042_controller_resume 1274 drivers/input/serio/i8042.c 	return i8042_controller_resume(want_reset);
i8042_controller_resume 1293 drivers/input/serio/i8042.c 	return i8042_controller_resume(false);