L1_TYPE_S
_Static_assert(L1_TYPE_S == ARM_L1_TYPE_S, "L1_TYPE_S mismatch");
return ((pte1 & L1_TYPE_MASK) == L1_TYPE_S);
return ((l1_type == L1_TYPE_C) || (l1_type == L1_TYPE_S));
#define PTE1_V L1_TYPE_S /* Valid bit */