L1_TYPE_MASK
_Static_assert(L1_TYPE_MASK == ARM_L1_TYPE_MASK, "L1_TYPE_MASK mismatch");
return ((pte1 & L1_TYPE_MASK) == L1_TYPE_C);
return ((pte1 & L1_TYPE_MASK) == L1_TYPE_S);
l1_type = pte1 & L1_TYPE_MASK;