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

/vbox/src/VBox/Runtime/r3/freebsd/
H A Dmp-freebsd.cpp51 static RTCPUID rtMpFreeBsdMaxCpus(void) function
68 return idCpu < RTCPUSET_MAX_CPUS && idCpu < rtMpFreeBsdMaxCpus() ? idCpu : -1;
74 return (unsigned)iCpu < rtMpFreeBsdMaxCpus() ? iCpu : NIL_RTCPUID;
80 return rtMpFreeBsdMaxCpus() - 1;
107 && idCpu < rtMpFreeBsdMaxCpus();
114 RTCPUID cMax = rtMpFreeBsdMaxCpus();
124 return rtMpFreeBsdMaxCpus();
131 RTCPUID cMax = rtMpFreeBsdMaxCpus();

Completed in 42 milliseconds