DART_TTBR_SHIFT
(pa >> DART_TTBR_SHIFT) | sc->sc_ttbr_valid);
pa = (paddr_t)(ttbr & ~sc->sc_ttbr_valid) << DART_TTBR_SHIFT;