Changeset 12667 in vbox for trunk/src/VBox/VMM/VMMAll

Timestamp:

Sep 23, 2008 11:25:46 AM (17 years ago)

Author:

vboxsync

svn:sync-xref-src-repo-rev:

36960

Message:

CPU id passed to interrupt callback, proper typing

File:

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

trunk/src/VBox/VMM/VMMAll/VMMAll.cpp

@@ -67 +67 @@
  * @thread  EMT
  */
-uint32_t VMMGetCpuId(PVM pVM)
+VMCPUID VMMGetCpuId(PVM pVM)
 {
-#ifdef VBOX_WITH_GUEST_SMPT
+#ifdef VBOX_WITH_SMP_GUESTS
+    /* Only emulation thread(s) allowed to ask for CPU id */
+    VM_ASSERT_EMT(pVM);
+
 # if defined(IN_GC)
     /* There is only one CPU if we're in GC. */