Fix the MFN we map for the opregion.

diff --git a/hw/pass-through.c b/hw/pass-through.c
index ec6586761f16cca237ec5f88d624cb140d1b9f41..0b5f15066b888ae7e78f13753d24bf60ec3e1d6b 100644 (file)
--- a/hw/pass-through.c
+++ b/hw/pass-through.c
@@ -3062,7 +3062,7 @@ struct pt_dev * register_real_device(PCIBus *e_bus,
                                        DPCI_ADD_MAPPING);
         if ( vendor_id == 0x8086 )
                {
-                       opregion = pt_pci_host_read_long(0, 2, 0, 0xfc);
+                       opregion = pt_pci_host_read_long(0, 2, 0, 0xfc) >> XC_PAGE_SHIFT;
                        PT_LOG("map opregion 0x%x\n", opregion);
             rc |= xc_domain_memory_mapping(xc_handle, domid, 0x7d5ae, opregion, 2,
                                            DPCI_ADD_MAPPING);
@@ -3146,7 +3146,7 @@ int unregister_real_device(int php_slot)
                                         DPCI_REMOVE_MAPPING);
                if ( vendor_id == 0x8086 )
                {
-                       opregion = pt_pci_host_read_long(0, 2, 0, 0xfc);
+                       opregion = pt_pci_host_read_long(0, 2, 0, 0xfc) >> XC_PAGE_SHIFT;
                        rc |= xc_domain_memory_mapping(xc_handle, domid, 0x7d5ae, opregion, 2,
                                                                                   DPCI_REMOVE_MAPPING);
                }