write_controller_command
write_controller_command(kbdc, KBDC_DISABLE_KBD_PORT);
write_controller_command(kbdc, KBDC_DISABLE_KBD_PORT);
if (write_controller_command(p, KBDC_DIAGNOSE))
if (write_controller_command(p, KBDC_TEST_KBD_PORT))
if (write_controller_command(p, KBDC_TEST_AUX_PORT))
if (!write_controller_command(p, KBDC_GET_COMMAND_BYTE))
if (!write_controller_command(p, KBDC_DISABLE_KBD_PORT))
if (!write_controller_command(p, KBDC_SET_COMMAND_BYTE))
if (write_controller_command(p, KBDC_FORCE_AUX_OUTPUT) == 0 ||
if (write_controller_command(p, KBDC_FORCE_AUX_OUTPUT) == 0 ||
if (write_controller_command(p, KBDC_FORCE_AUX_OUTPUT) == 0 ||
if (!write_controller_command(p, c))
if (!write_controller_command(p, f))
int write_controller_command(KBDC kbdc,int c);
write_controller_command(sc->kbdc, KBDC_ENABLE_AUX_PORT);