L1_TYPE_C
_Static_assert(L1_TYPE_C == ARM_L1_TYPE_C, "L1_TYPE_C mismatch");
return ((pte1 & L1_TYPE_MASK) == L1_TYPE_C);
return ((l1_type == L1_TYPE_C) || (l1_type == L1_TYPE_S));
#define PTE1_LINK(pa) (((pa) & L1_C_ADDR_MASK) | L1_TYPE_C)