intel-iommu: Use cmpxchg64_local() for setting PTEs
authorDavid Woodhouse <David.Woodhouse@intel.com>
Wed, 1 Jul 2009 19:27:03 +0000 (20:27 +0100)
committerDavid Woodhouse <David.Woodhouse@intel.com>
Wed, 1 Jul 2009 19:27:03 +0000 (20:27 +0100)
commit7766a3fb905f0b078b05f5d6a6be8df4c64b9f51
tree57345b5cf47f50cdc3ba09f4746834e77d22817e
parent85b98276f2ffa66b25ae6328b00bfadfd74b74e7
intel-iommu: Use cmpxchg64_local() for setting PTEs

Signed-off-by: David Woodhouse <David.Woodhouse@intel.com>
drivers/pci/intel-iommu.c