BIOS_CTL_SHIFT
~BIOS_CTL_SHIFT);
else if (peek8(kb_flag) & BIOS_CTL_SHIFT)
poke8(kb_flag, peek8(kb_flag) | BIOS_CTL_SHIFT);
if ((peek8(kb_flag) & (BIOS_CTL_SHIFT|BIOS_ALT_SHIFT)) ==
(BIOS_CTL_SHIFT|BIOS_ALT_SHIFT)) {