Cross Reference: /vbox/src/VBox/Runtime/r3/linux/mp-linux.cpp

Lines Matching defs:idCpu
76 static uint32_t rtMpLinuxGetFrequency(RTCPUID idCpu)
98         else if (   idCpu == idCpuFound
120 RTDECL(int) RTMpCpuIdToSetIndex(RTCPUID idCpu)
122     return idCpu < rtMpLinuxMaxCpus() ? (int)idCpu : -1;
138 RTDECL(bool) RTMpIsCpuOnline(RTCPUID idCpu)
141     int i = RTLinuxSysFsReadIntFile(0, "devices/system/cpu/cpu%d/online", (int)idCpu);
143         &&  RTLinuxSysFsExists("devices/system/cpu/cpu%d", (int)idCpu))
146          *               (int)idCpu));
157 RTDECL(bool) RTMpIsCpuPossible(RTCPUID idCpu)
160     return RTLinuxSysFsExists("devices/system/cpu/cpu%d", (int)idCpu);
168     for (RTCPUID idCpu = 0; idCpu < cMax; idCpu++)
169         if (RTMpIsCpuPossible(idCpu))
170             RTCpuSetAdd(pSet, idCpu);
189     for (RTCPUID idCpu = 0; idCpu < cMax; idCpu++)
191         if (RTMpIsCpuPossible(idCpu))
193             uint32_t idCore = (uint32_t)RTLinuxSysFsReadIntFile(0, "devices/system/cpu/cpu%d/topology/core_id", (int)idCpu);
194             uint32_t idPckg = (uint32_t)RTLinuxSysFsReadIntFile(0, "devices/system/cpu/cpu%d/topology/physical_package_id", (int)idCpu);
217     for (RTCPUID idCpu = 0; idCpu < cMax; idCpu++)
218         if (RTMpIsCpuOnline(idCpu))
219             RTCpuSetAdd(pSet, idCpu);
238     for (RTCPUID idCpu = 0; idCpu < cMax; idCpu++)
240         if (RTMpIsCpuOnline(idCpu))
242             uint32_t idCore = (uint32_t)RTLinuxSysFsReadIntFile(0, "devices/system/cpu/cpu%d/topology/core_id", (int)idCpu);
243             uint32_t idPckg = (uint32_t)RTLinuxSysFsReadIntFile(0, "devices/system/cpu/cpu%d/topology/physical_package_id", (int)idCpu);
263 RTDECL(uint32_t) RTMpGetCurFrequency(RTCPUID idCpu)
265     int64_t kHz = RTLinuxSysFsReadIntFile(0, "devices/system/cpu/cpu%d/cpufreq/cpuinfo_cur_freq", (int)idCpu);
275         kHz = rtMpLinuxGetFrequency(idCpu) * 1000;
281 RTDECL(uint32_t) RTMpGetMaxFrequency(RTCPUID idCpu)
283     int64_t kHz = RTLinuxSysFsReadIntFile(0, "devices/system/cpu/cpu%d/cpufreq/cpuinfo_max_freq", (int)idCpu);
290         if (!RTLinuxSysFsExists("devices/system/cpu/cpu%d/cpufreq/cpuinfo_max_freq", (int)idCpu))
291             kHz = rtMpLinuxGetFrequency(idCpu) * 1000;