src/system/kernel/scheduler/scheduler_cpu.cpp

667

fCoreCount++;

src/system/kernel/scheduler/scheduler_cpu.cpp

671

if (fCoreCount == 1)

src/system/kernel/scheduler/scheduler_cpu.cpp

681

fCoreCount--;

src/system/kernel/scheduler/scheduler_cpu.cpp

683

if (fCoreCount == 0)

src/system/kernel/scheduler/scheduler_cpu.h

249

int32 fCoreCount;

src/system/kernel/scheduler/scheduler_cpu.h

478

ASSERT(fIdleCoreCount < fCoreCount);

src/system/kernel/scheduler/scheduler_cpu.h

483

if (fIdleCoreCount == fCoreCount) {

src/system/kernel/scheduler/scheduler_cpu.h

499

ASSERT(fIdleCoreCount <= fCoreCount);

src/system/kernel/scheduler/scheduler_cpu.h

504

if (fIdleCoreCount + 1 == fCoreCount) {