L1_S_FRAME
_Static_assert(L1_S_FRAME == ARM_L1_S_FRAME, "L1_S_FRAME mismatch");
#define PTE1_FRAME L1_S_FRAME