ARM_L1_S_SHIFT
#define ARM_L1_IDX(va) ((va) >> ARM_L1_S_SHIFT)
_Static_assert(L1_S_SHIFT == ARM_L1_S_SHIFT, "L1_S_SHIFT mismatch");