__npte 1516 drivers/iommu/amd_iommu.c u64 __pte, __npte; __npte 1551 drivers/iommu/amd_iommu.c __npte = PM_LEVEL_PDE(level, iommu_virt_to_phys(page)); __npte 1554 drivers/iommu/amd_iommu.c if (cmpxchg64(pte, __pte, __npte) != __pte)