cpu_is_active
ASSERT(cpu_is_active(cp));
if (cpu_is_active(cp))
ASSERT(cpu_is_active(cp));
if (cpu_is_active(cp))
int cpu_is_active(cpu_t *); /* check if CPU can run threads */
if (cpu_is_active(core_cpus[1])) {
if (cpu_is_active(core_cpus[0])) {
(cpu = cpu_get(i)) != NULL && cpu_is_active(cpu)) {
cpu_is_active(cpa)) {
cpu_is_active(cpb)) {
if (cpu_is_active(cp)) {