ARM_L2_S_FRAME
*pa = (pte & ARM_L2_S_FRAME) | (va & ARM_L2_S_OFFSET);
_Static_assert(L2_S_FRAME == ARM_L2_S_FRAME, "L2_S_FRAME mismatch");
(va & ARM_L2_L_OFFSET & ARM_L2_S_FRAME);
a = pte & ARM_L2_S_FRAME;
(va & ARM_L2_L_OFFSET & ARM_L2_S_FRAME);
pa = pte & ARM_L2_S_FRAME;