iopte_type
return iopte_type(pte) == ARM_LPAE_PTE_TYPE_PAGE;
return iopte_type(pte) == ARM_LPAE_PTE_TYPE_BLOCK;
return iopte_type(pte) == ARM_LPAE_PTE_TYPE_TABLE;
} else if (iopte_type(ptep[i]) == ARM_LPAE_PTE_TYPE_TABLE) {