ARM_L2_TYPE_MASK
if ((pte & ARM_L2_TYPE_MASK) == ARM_L2_TYPE_L) {
_Static_assert(L2_TYPE_MASK == ARM_L2_TYPE_MASK, "L2_TYPE_MASK mismatch");
if ((pte & ARM_L2_TYPE_MASK) == ARM_L2_TYPE_INV) {
if ((pte & ARM_L2_TYPE_MASK) == ARM_L2_TYPE_L) {
(pte & ARM_L2_TYPE_MASK) == ARM_L2_TYPE_T) {
if ((pte & ARM_L2_TYPE_MASK) == ARM_L2_TYPE_INV)
if ((pte & ARM_L2_TYPE_MASK) == ARM_L2_TYPE_L) {
(pte & ARM_L2_TYPE_MASK) == ARM_L2_TYPE_T) {