SFB_FB_OFFSET
ri->ri_bits = base + SFB_FB_OFFSET + vbase * 4096;
return machine_btop(sc->sc_vaddr + SFB_FB_OFFSET + 4096 + offset);