Searched refs:idPckg (Results 1 - 1 of 1) sorted by relevance

/vbox/src/VBox/Runtime/r3/linux/
H A Dmp-linux.cpp194 uint32_t idPckg = (uint32_t)RTLinuxSysFsReadIntFile(0, "devices/system/cpu/cpu%d/topology/physical_package_id", (int)idCpu); local
198 && paidPckgs[i] == idPckg)
203 paidPckgs[cCores] = idPckg;
243 uint32_t idPckg = (uint32_t)RTLinuxSysFsReadIntFile(0, "devices/system/cpu/cpu%d/topology/physical_package_id", (int)idCpu); local
247 && paidPckgs[i] == idPckg)
252 paidPckgs[cCores] = idPckg;

Completed in 70 milliseconds