Searched defs:idCore (Results 1 - 2 of 2) sorted by relevance

/vbox/src/VBox/Runtime/r3/linux/
H A Dmp-linux.cpp193 uint32_t idCore = (uint32_t)RTLinuxSysFsReadIntFile(0, "devices/system/cpu/cpu%d/topology/core_id", (int)idCpu); local
197 if ( paidCores[i] == idCore
202 paidCores[cCores] = idCore;
242 uint32_t idCore = (uint32_t)RTLinuxSysFsReadIntFile(0, "devices/system/cpu/cpu%d/topology/core_id", (int)idCpu); local
246 if ( paidCores[i] == idCore
251 paidCores[cCores] = idCore;
/vbox/src/VBox/Additions/common/VBoxService/
H A DVBoxServiceCpuHotPlug.cpp292 uint32_t idCore = 0; local
305 idCore = (uint32_t)i64Core;
311 if ( idCore == idCpuCore

Completed in 52 milliseconds