ARM_LPAE_PTE_TYPE_BLOCK
return iopte_type(pte) == ARM_LPAE_PTE_TYPE_BLOCK;
pte |= ARM_LPAE_PTE_TYPE_BLOCK;