- PMAP_DEACTIVATE_KERNEL(processor->cpu_num);
-
- pset = processor->processor_set;
- pset_lock(pset);
- processor->state = PROCESSOR_OFF_LINE;
- if (--pset->processor_count == 0)
- pset->low_pri = pset->low_count = PROCESSOR_NULL;
- (void)hw_atomic_sub(&processor_avail_count, 1);
- processor_queue_shutdown(processor);
- /* pset lock dropped */
-
- ml_cpu_down();