Changeset 89494 in vbox

Timestamp:

Jun 4, 2021 5:39:56 AM (3 years ago)

Author:

vboxsync

Message:

Intel IOMMU: bugref:9967 Build fix.

File:

• trunk/src/VBox/Devices/Bus/DevIommuIntel.cpp (modified) (2 diffs)

trunk/src/VBox/Devices/Bus/DevIommuIntel.cpp

@@ -2308 +2308 @@
                 uint64_t const fOffMask   = X86_GET_PAGE_OFFSET_MASK(IoPage.cShift);
                 uint64_t const offAddrOut = uAddrIn & fOffMask;
-                Assert(!(IoPage.GCPhysBase & fIoPageMask));
+                Assert(!(IoPage.GCPhysBase & fOffMask));
                 GCPhysAddr = IoPage.GCPhysBase | offAddrOut;
             }
@@ -3741 +3741 @@
                           | RT_BF_MAKE(VTD_BF_ECAP_REG_SRS,    0)  /* Supervisor request not supported. */
                           | RT_BF_MAKE(VTD_BF_ECAP_REG_NWFS,   0)  /* 0 as DT not supported. */
-                          | RT_BF_MAKE(VTD_BF_ECAP_REG_EAFS,   0)  /** @todo figure out if EAFS is required? */
+                          | RT_BF_MAKE(VTD_BF_ECAP_REG_EAFS,   0)  /* 0 as SMPWCS not supported. */
                           | RT_BF_MAKE(VTD_BF_ECAP_REG_PSS,    0)  /* 0 as PASID not supported. */
-                          | RT_BF_MAKE(VTD_BF_ECAP_REG_PASID,  0)  /* PASID support. */
+                          | RT_BF_MAKE(VTD_BF_ECAP_REG_PASID,  0)  /* PASID not supported. */
                           | RT_BF_MAKE(VTD_BF_ECAP_REG_DIT,    0)  /* 0 as DT not supported. */
                           | RT_BF_MAKE(VTD_BF_ECAP_REG_PDS,    0)  /* 0 as DT not supported. */