ALLOW_DISABLE_KBD
ALLOW_DISABLE_KBD(kbdc) ? 0xff : KBD_KBD_CONTROL_BITS, c);
ALLOW_DISABLE_KBD(kbdc) ? 0xff : KBD_KBD_CONTROL_BITS, c);
set_controller_command_byte(kbdc, ALLOW_DISABLE_KBD(kbdc)
if (!ALLOW_DISABLE_KBD(kbdc))
set_controller_command_byte(kbdc, ALLOW_DISABLE_KBD(kbdc)