tree e90098ad46912fbe78fbbd09a2715cc3d6daf36a
parent d1423d5679875ebbbc2fc63b33d465baceee0430
author David Woodhouse <David.Woodhouse@intel.com> 1281400733 +0100
committer David Woodhouse <David.Woodhouse@intel.com> 1281400733 +0100

intel-iommu: Fix 32-bit build warning with __cmpxchg()

drivers/pci/intel-iommu.c: In function 'dma_pte_addr':
drivers/pci/intel-iommu.c:239: warning: passing argument 1 of '__cmpxchg64' from incompatible pointer type

It seems that __cmpxchg64() now cares about the type of its pointer argument,
so give it a (uint64_t *) instead of a pointer to a structure which contains
only that.

Signed-off-by: David Woodhouse <David.Woodhouse@intel.com>