L2_S_SHIFT
_Static_assert(L2_S_SHIFT == ARM_L2_S_SHIFT, "L2_S_SHIFT mismatch");
#define PTE2_SHIFT L2_S_SHIFT