VGA_GEN_MISC_OUTPUT_R
if (vga_get_reg(VGA_REG_BASE, VGA_GEN_MISC_OUTPUT_R) & VGA_GEN_MO_IOA)
x = REG_READ1(sc, VGA_GEN_MISC_OUTPUT_R);