DART_TTBR_SHIFT
KASSERTMSG(__SHIFTOUT(pa, __BITS(DART_TTBR_SHIFT - 1, 0)) == 0,
(pa >> DART_TTBR_SHIFT) | DART_TTBR_VALID);
(pa >> DART_TTBR_SHIFT) | DART_TTBR_VALID,