intel-iommu: Use cmpxchg64_local() for setting PTEs
David Woodhouse [Wed, 1 Jul 2009 19:27:03 +0000 (20:27 +0100)]
Signed-off-by: David Woodhouse <David.Woodhouse@intel.com>

drivers/pci/intel-iommu.c

index 2bbc3fc..2c1b2ba 100644 (file)
@@ -1682,7 +1682,7 @@ static int __domain_mapping(struct dmar_domain *domain, unsigned long iov_pfn,
                /* We don't need lock here, nobody else
                 * touches the iova range
                 */
-               tmp = cmpxchg64(&pte->val, 0ULL, pteval);
+               tmp = cmpxchg64_local(&pte->val, 0ULL, pteval);
                if (tmp) {
                        static int dumps = 5;
                        printk(KERN_CRIT "ERROR: DMA PTE for vPFN 0x%lx already set (to %llx not %llx)\n",