ARM_L2_L_FRAME
*pa = (pte & ARM_L2_L_FRAME) | (va & ARM_L2_L_OFFSET);
_Static_assert(L2_L_FRAME == ARM_L2_L_FRAME, "L2_L_FRAME mismatch");
a = (pte & ARM_L2_L_FRAME) +
pa = (pte & ARM_L2_L_FRAME) +