IOMMU_RESERVED_PTE
ptes[p+i] = IOMMU_RESERVED_PTE;
if (ptes[i] != IOMMU_RESERVED_PTE)
if (ptes[j] != IOMMU_RESERVED_PTE) {
p[i] = IOMMU_RESERVED_PTE;