ATU_OCCDR
if (badaddr_read((void *) (va + ATU_OCCDR), sizeof(rv), &rv)) {
bus_space_write_4(sc->sc_st, sc->sc_atu_sh, ATU_OCCDR, val);