Index: /trunk/src/VBox/Runtime/r0drv/darwin/mp-r0drv-darwin.cpp
===================================================================
--- /trunk/src/VBox/Runtime/r0drv/darwin/mp-r0drv-darwin.cpp	(revision 37053)
+++ /trunk/src/VBox/Runtime/r0drv/darwin/mp-r0drv-darwin.cpp	(revision 37054)
@@ -42,10 +42,4 @@
 
 /*******************************************************************************
-*   Defined Constants And Macros                                               *
-*******************************************************************************/
-#define MY_DARWIN_MAX_CPUS      (0xf + 1) /* see MAX_CPUS */
-
-
-/*******************************************************************************
 *   Global Variables                                                           *
 *******************************************************************************/
@@ -61,5 +55,5 @@
     {
         printf("IPRT: sysctlbyname(hw.ncpu) failed with rc=%d!\n", rc);
-        cCpus = MY_DARWIN_MAX_CPUS;
+        cCpus = 64; /* whatever */
     }
 
@@ -86,5 +80,5 @@
 RTDECL(int) RTMpCpuIdToSetIndex(RTCPUID idCpu)
 {
-    return idCpu < RTCPUSET_MAX_CPUS && idCpu < MY_DARWIN_MAX_CPUS ? (int)idCpu : -1;
+    return idCpu < RTCPUSET_MAX_CPUS ? (int)idCpu : -1;
 }
 
@@ -92,5 +86,5 @@
 RTDECL(RTCPUID) RTMpCpuIdFromSetIndex(int iCpu)
 {
-    return (unsigned)iCpu < MY_DARWIN_MAX_CPUS ? (RTCPUID)iCpu : NIL_RTCPUID;
+    return (unsigned)iCpu < RTCPUSET_MAX_CPUS ? (RTCPUID)iCpu : NIL_RTCPUID;
 }
 
@@ -104,5 +98,5 @@
 RTDECL(bool) RTMpIsCpuPossible(RTCPUID idCpu)
 {
-    return idCpu < MY_DARWIN_MAX_CPUS
+    return idCpu < RTCPUSET_MAX_CPUS
         && idCpu < (RTCPUID)rtMpDarwinMaxCpus();
 }