RTDECL(bool) RTMpIsCpuPossible(RTCPUID idCpu) { return idCpu < RTCPUSET_MAX_CPUS && idCpu < (RTCPUID)rtMpDarwinMaxCpus(); }
RTDECL(RTCPUID) RTMpGetMaxCpuId(void) { return rtMpDarwinMaxCpus() - 1; }
RTDECL(RTCPUID) RTMpCpuIdFromSetIndex(int iCpu) { return (unsigned)iCpu < rtMpDarwinMaxCpus() ? iCpu : NIL_RTCPUID; }
RTDECL(int) RTMpCpuIdToSetIndex(RTCPUID idCpu) { return idCpu < RTCPUSET_MAX_CPUS && idCpu < rtMpDarwinMaxCpus() ? idCpu : -1; }
RTDECL(RTCPUID) RTMpGetCount(void) { return rtMpDarwinMaxCpus(); }
RTDECL(bool) RTMpIsCpuPossible(RTCPUID idCpu) { return idCpu != NIL_RTCPUID && idCpu < rtMpDarwinMaxCpus(); }