L1_C_ADDR_MASK
_Static_assert(L1_C_ADDR_MASK == ARM_L1_C_ADDR_MASK, "L1_C_ADDR_MASK mismatch");
return ((vm_paddr_t)(pte1 & L1_C_ADDR_MASK));
#define PTE1_LINK(pa) (((pa) & L1_C_ADDR_MASK) | L1_TYPE_C)