KBDC_DISABLE_KBD_PORT
write_controller_command(kbdc, KBDC_DISABLE_KBD_PORT);
write_controller_command(kbdc, KBDC_DISABLE_KBD_PORT);
if (!write_controller_command(p, KBDC_DISABLE_KBD_PORT))
case KBDC_DISABLE_KBD_PORT: