REG_READ1
x = REG_READ1(sc, VGA_GEN_MISC_OUTPUT_R);
x = REG_READ1(sc, VGA_CRTC_DATA);
x = REG_READ1(sc, VGA_GEN_INPUT_STAT_1);
x = REG_READ1(sc, VGA_CRTC_DATA);
x = REG_READ1(sc, VGA_CRTC_DATA);