L2_S_OFFSET
_Static_assert(L2_S_OFFSET == ARM_L2_S_OFFSET, "L2_S_OFFSET mismatch");
#define L2_S_FRAME (~L2_S_OFFSET)
#define PTE2_OFFSET L2_S_OFFSET