AARCH64_ATTR_MASK
_Static_assert(ATTR_MASK == AARCH64_ATTR_MASK, "ATTR_MASK mismatch");
a = l3 & ~AARCH64_ATTR_MASK;
pa = pte & ~AARCH64_ATTR_MASK;