VFB_CRTCCTL
vfb_write4(sc, VFB_CRTCCTL, v);
return vfb_read4(sc, VFB_CRTCCTL);
sc->sc_ddc_base = vfb_read4(sc, VFB_CRTCCTL) &
vfb_write4(sc, VFB_CRTCCTL,
vfb_write4(sc, VFB_CRTCCTL, crtcctl);