vfb_fb_read4
vr->vr_val = vfb_fb_read4(sc, vr->vr_addr);
hostv = vfb_fb_read4(sc, testaddr[t]);
saved = vfb_fb_read4(sc, sc->sc_fb_offset);
start = vfb_fb_read4(sc, 0);
pattern = vfb_fb_read4(sc, offset);
if (vfb_fb_read4(sc, offset) != pattern) {