vfb_read4
return vfb_read4(sc, VFB_CRTCCTL);
sc->sc_ddc_base = vfb_read4(sc, VFB_CRTCCTL) &
if ((vfb_read4(sc, VFB_CRTCSTATUS) &
data = vfb_read4(sc, VFB_STATEDATA);
pc = vfb_read4(sc, VFB_STATEDATA);
*pcp = vfb_read4(sc, VFB_STATEDATA);
(vfb_read4(sc, VFB_DMACMDPTR) & VFB_DMACMDPTR_BUSY) != 0 ?
if ((vfb_read4(sc, VFB_DMACMDPTR) & VFB_DMACMDPTR_BUSY) == 0)
db_printf("PC 0x%08x\n", vfb_read4(sc, VFB_STATEDATA));
if ((vfb_read4(sc, reg) & mask) == (data & mask))
(void)vfb_read4(sc, VFB_STATEDATA);
(void)vfb_read4(sc, VFB_STATEDATA);
memctl = vfb_read4(sc, VFB_MEMCTL) & ~VFB_MEMCTL_HOLDREFRESH;
memctl = vfb_read4(sc, VFB_MEMCTL) & ~VFB_MEMCTL_ADRSWIZZLE_MASK;