i8042_controller_reset 1226 drivers/input/serio/i8042.c 		i8042_controller_reset(true);
i8042_controller_reset 1286 drivers/input/serio/i8042.c 	i8042_controller_reset(false);
i8042_controller_reset 1314 drivers/input/serio/i8042.c 	i8042_controller_reset(false);
i8042_controller_reset 1572 drivers/input/serio/i8042.c 	i8042_controller_reset(false);
i8042_controller_reset 1582 drivers/input/serio/i8042.c 	i8042_controller_reset(false);