VGA_GEN_INPUT_STAT_1
(void) inb(reg + VGA_GEN_INPUT_STAT_1);
(void) inb(reg + VGA_GEN_INPUT_STAT_1);
(void) inb(reg + VGA_GEN_INPUT_STAT_1);
(void) inb(reg + VGA_GEN_INPUT_STAT_1);
x = REG_READ1(sc, VGA_GEN_INPUT_STAT_1);