ARM_L2_TYPE_L
if ((pte & ARM_L2_TYPE_MASK) == ARM_L2_TYPE_L) {
_Static_assert(L2_TYPE_L == ARM_L2_TYPE_L, "L2_TYPE_L mismatch");
if ((pte & ARM_L2_TYPE_MASK) == ARM_L2_TYPE_L) {
if ((pte & ARM_L2_TYPE_MASK) == ARM_L2_TYPE_L) {