restore_controller
restore_controller(sc->kbdc, command_byte);
restore_controller(sc->kbdc, command_byte);
restore_controller(sc->kbdc, c);
restore_controller(sc->kbdc, command_byte);
restore_controller(sc->kbdc, command_byte);
restore_controller(sc->kbdc, command_byte);
restore_controller(sc->kbdc, command_byte);
restore_controller(sc->kbdc, command_byte);
restore_controller(sc->kbdc, command_byte);
static int restore_controller(KBDC, int);