Changeset 9346 in vbox for trunk/src

Timestamp:

Jun 3, 2008 11:20:16 AM (17 years ago)

Author:

vboxsync

Message:

gcc don't allow casting 64-bit integer to a 32-bit pointer, so cast via uintptr_t.

File:

• trunk/src/VBox/VMM/VMMGC/TRPMGCHandlers.cpp (modified) (1 diff)

trunk/src/VBox/VMM/VMMGC/TRPMGCHandlers.cpp

@@ -470 +470 @@
     if (SELMValidateAndConvertCSAddr(pVM, pRegFrame->eflags, pRegFrame->ss, pRegFrame->cs, &pRegFrame->csHid, (RTGCPTR)pRegFrame->eip, &GCPtr) == VINF_SUCCESS)
     {
-        uint8_t *pu8Code = (uint8_t *)GCPtr;
+        uint8_t *pu8Code = (uint8_t *)(uintptr_t)GCPtr;
+
         /*
          * First skip possible instruction prefixes, such as: