L1_S_SHIFT
_Static_assert(L1_S_SHIFT == ARM_L1_S_SHIFT, "L1_S_SHIFT mismatch");
#define PTE1_SHIFT L1_S_SHIFT