ARM_LPAE_PTE_TYPE_TABLE
return iopte_type(pte) == ARM_LPAE_PTE_TYPE_TABLE;
} else if (iopte_type(ptep[i]) == ARM_LPAE_PTE_TYPE_TABLE) {
new = paddr_to_iopte(virt_to_phys(table), data) | ARM_LPAE_PTE_TYPE_TABLE;