vfb_fb_write4
vfb_fb_write4(sc, VFB_CSUCODE_BASE + i * 4,
vfb_fb_write4(sc, VFB_CSUCODE_SEM0, 0);
vfb_fb_write4(sc, VFB_CSUCODE_SEM1, 0);
vfb_fb_write4(sc, paddr + i, be32dec(u + off + i));
vfb_fb_write4(sc, paddr + (filesz & ~3U), word);
vfb_fb_write4(sc, paddr + i, 0);
vfb_fb_write4(sc, sc->sc_fb_offset, VFB_GETPIXEL_PATTERN);
vfb_fb_write4(sc, sc->sc_fb_offset, saved);
vfb_fb_write4(sc, 0, VFB_PROBE_START);
vfb_fb_write4(sc, offset, pattern);
vfb_fb_write4(sc, offset, pattern ^ VFB_PROBE_PATTERN);
vfb_fb_write4(sc, 0, start);