ARM_L2_TYPE_INV
_Static_assert(L2_TYPE_INV == ARM_L2_TYPE_INV, "L2_TYPE_INV mismatch");
if ((pte & ARM_L2_TYPE_MASK) == ARM_L2_TYPE_INV) {
if ((pte & ARM_L2_TYPE_MASK) == ARM_L2_TYPE_INV)