diff -r 8de0aae803e0 xen/include/asm-x86/iocap.h
--- a/xen/include/asm-x86/iocap.h	Fri Jan 23 12:50:14 2009 +0000
+++ b/xen/include/asm-x86/iocap.h	Fri Jan 26 11:01:20 2009 +0100
@@ -15,6 +15,6 @@
     rangeset_contains_range((d)->arch.ioport_caps, s, e)
 
 #define cache_flush_permitted(d)                       \
-    (!rangeset_is_empty((d)->iomem_caps))
+    (!rangeset_is_empty((d)->iomem_caps) || !rangeset_is_empty((d)->arch.ioport_caps))
 
 #endif /* __X86_IOCAP_H__ */
diff -r 8de0aae803e0 xen/include/xen/iocap.h
--- a/xen/include/xen/iocap.h	Fri Jan 23 12:50:14 2009 +0000
+++ b/xen/include/xen/iocap.h	Fri Jan 26 11:01:20 2009 +0100
@@ -29,6 +29,6 @@
     rangeset_contains_singleton((d)->irq_caps, i)
 
 #define multipage_allocation_permitted(d)               \
-    (!rangeset_is_empty((d)->iomem_caps))
+    (!rangeset_is_empty((d)->iomem_caps) || !rangeset_is_empty((d)->arch.ioport_caps))
 
 #endif /* __XEN_IOCAP_H__ */