ATTR_MASK
_Static_assert(ATTR_MASK == AARCH64_ATTR_MASK, "ATTR_MASK mismatch");
" in pmap %p", (oldl3 & ~ATTR_MASK & L3C_OFFSET) |
newl2 = oldl1 & ATTR_MASK;
#define ATTR_PROMOTE (ATTR_MASK & ~(ATTR_CONTIGUOUS | ATTR_AF))
l1 = PHYS_TO_DMAP(smmu_pmap_load(l0) & ~ATTR_MASK);
l2p = PHYS_TO_DMAP(l1 & ~ATTR_MASK);
l3p = PHYS_TO_DMAP(l2 & ~ATTR_MASK);
l2pg = PHYS_TO_VM_PAGE(tl1 & ~ATTR_MASK);
l1pg = PHYS_TO_VM_PAGE(tl0 & ~ATTR_MASK);
l1pg = PHYS_TO_VM_PAGE(tl0 & ~ATTR_MASK);
l1 = PHYS_TO_DMAP(smmu_pmap_load(l0) &~ATTR_MASK);
l1 = PHYS_TO_DMAP(tl0 & ~ATTR_MASK);
l1 = PHYS_TO_DMAP(tl0 & ~ATTR_MASK);
l2pg = PHYS_TO_VM_PAGE(tl1 & ~ATTR_MASK);
l2 = PHYS_TO_DMAP(smmu_pmap_load(l1) &~ATTR_MASK);
pa0 = l0e & ~ATTR_MASK;
pa1 = l1e & ~ATTR_MASK;
pa = l2e & ~ATTR_MASK;
pte_addr = pte & ~ATTR_MASK;
*gpa = (pte & ~ATTR_MASK) | (gla & mask);
m = PHYS_TO_VM_PAGE(l1e & ~ATTR_MASK);
l1 = PHYS_TO_DMAP(l0e & ~ATTR_MASK);
m = PHYS_TO_VM_PAGE(l0e & ~ATTR_MASK);
l1 = PHYS_TO_DMAP(l0e & ~ATTR_MASK);
l2 = PHYS_TO_DMAP(l1e & ~ATTR_MASK);
l3 = PHYS_TO_DMAP(l2e & ~ATTR_MASK);
l1 = PHYS_TO_DMAP(l0e & ~ATTR_MASK);
l2 = PHYS_TO_DMAP(l1e & ~ATTR_MASK);
l3 = PHYS_TO_DMAP(l2e & ~ATTR_MASK);
l3 = PHYS_TO_DMAP(l2e & ~ATTR_MASK);
m = PHYS_TO_VM_PAGE(l2e & ~ATTR_MASK);
l2 = PHYS_TO_DMAP(l1e & ~ATTR_MASK);