L1_S_SIZE
_Static_assert(L1_S_SIZE == ARM_L1_S_SIZE, "L1_S_SIZE mismatch");
#define PTE1_SIZE L1_S_SIZE
#define L1_S_OFFSET (L1_S_SIZE - 1)