BMAN_FBPR_BARE
bar_pa = bus_read_4(sc->sc_rres, BMAN_FBPR_BARE);
bus_write_4(sc->sc_rres, BMAN_FBPR_BARE, pa >> 32);