L1_S_OFFSET
_Static_assert(L1_S_OFFSET == ARM_L1_S_OFFSET, "L1_S_OFFSET mismatch");
#define PTE1_OFFSET L1_S_OFFSET
#define L1_S_FRAME (~L1_S_OFFSET)
if ((pa & L1_S_OFFSET) == 0 && (sz & L1_S_OFFSET) == 0) {