ARM_L2_S_OFFSET
*pa = (pte & ARM_L2_S_FRAME) | (va & ARM_L2_S_OFFSET);
#define ARM_L2_S_FRAME (~ARM_L2_S_OFFSET)
_Static_assert(L2_S_OFFSET == ARM_L2_S_OFFSET, "L2_S_OFFSET mismatch");
offset = va & ARM_L2_S_OFFSET;
offset = va & ARM_L2_S_OFFSET;