During device assignment the memory pre-fetchable flag was discarded
as the IORESOURCE_PREFETCH was defined as 0x00001000 when instead it
should have been 0x00002000. Following small patch fixes the problem,
please apply.

Signed-off-by: Prasad Joshi <[email protected]>
---
diff --git a/hw/device-assignment.c b/hw/device-assignment.c
index e5205cf..2cfa155 100644
--- a/hw/device-assignment.c
+++ b/hw/device-assignment.c
@@ -47,7 +47,7 @@
 #define IORESOURCE_MEM      0x00000200
 #define IORESOURCE_IRQ      0x00000400
 #define IORESOURCE_DMA      0x00000800
-#define IORESOURCE_PREFETCH 0x00001000  /* No side effects */
+#define IORESOURCE_PREFETCH 0x00002000  /* No side effects */

 /* #define DEVICE_ASSIGNMENT_DEBUG 1 */
--
To unsubscribe from this list: send the line "unsubscribe kvm" in
the body of a message to [email protected]
More majordomo info at  http://vger.kernel.org/majordomo-info.html

Reply via email to