Index: /trunk/src/VBox/Runtime/r3/linux/mp-linux.cpp
===================================================================
--- /trunk/src/VBox/Runtime/r3/linux/mp-linux.cpp	(revision 46639)
+++ /trunk/src/VBox/Runtime/r3/linux/mp-linux.cpp	(revision 46640)
@@ -184,5 +184,5 @@
 {
     RTCPUID     cMax      = rtMpLinuxMaxCpus();
-    uint32_t   *paidCores = (uint32_t *)alloca(sizeof(*uint32_t) * (cMax + 1));
+    uint32_t   *paidCores = (uint32_t *)alloca(sizeof(paidCores[0]) * (cMax + 1));
     uint32_t    cCores    = 0;
     for (RTCPUID idCpu = 0; idCpu < cMax; idCpu++)
@@ -226,5 +226,5 @@
 {
     RTCPUID     cMax      = rtMpLinuxMaxCpus();
-    uint32_t   *paidCores = (uint32_t *)alloca(sizeof(*uint32_t) * (cMax + 1));
+    uint32_t   *paidCores = (uint32_t *)alloca(sizeof(paidCores[0]) * (cMax + 1));
     uint32_t    cCores    = 0;
     for (RTCPUID idCpu = 0; idCpu < cMax; idCpu++)