L2_S_FRAME
_Static_assert(L2_S_FRAME == ARM_L2_S_FRAME, "L2_S_FRAME mismatch");
#define PTE2_FRAME L2_S_FRAME