- PMAP_DEACTIVATE_KERNEL(PROCESSOR_DATA(processor, slot_num));
-
- pset = processor->processor_set;
- pset_lock(pset);
- pset->processor_count--;
- processor->state = PROCESSOR_OFF_LINE;
- if (processor == pset->low_hint)
- pset->low_hint = PROCESSOR_NULL;
- (void)hw_atomic_sub(&processor_avail_count, 1);
- pset_unlock(pset);
- ml_cpu_down();