ARM_L2_L_OFFSET
*pa = (pte & ARM_L2_L_FRAME) | (va & ARM_L2_L_OFFSET);
#define ARM_L2_L_FRAME (~ARM_L2_L_OFFSET)
_Static_assert(L2_L_OFFSET == ARM_L2_L_OFFSET, "L2_L_OFFSET mismatch");
(va & ARM_L2_L_OFFSET & ARM_L2_S_FRAME);
(va & ARM_L2_L_OFFSET & ARM_L2_S_FRAME);