bochsfb_read_vga
(void)bochsfb_read_vga(sc, 0x3DA);
static uint8_t bochsfb_read_vga(struct bochsfb_softc *sc, uint16_t reg);