Irrespective of CONFIG_HIGHMEM settings, DMA addresses must always be
64-bit wide.

Signed-off-by: Jan Beulich <jbeulich@xxxxxxxxxx>

--- a/include/asm-i386/types.h
+++ b/include/asm-i386/types.h
@@ -50,7 +50,7 @@
 
 /* DMA addresses come in generic and 64-bit flavours.  */
 
-#ifdef CONFIG_HIGHMEM64G
+#if defined(CONFIG_XEN) || defined(CONFIG_HIGHMEM64G)
 typedef u64 dma_addr_t;
 #else
 typedef u32 dma_addr_t;