- pset = processor->processor_set;
- pset_lock(pset);
- processor->state = PROCESSOR_OFF_LINE;
- if (--pset->online_processor_count == 0) {
- pset_pri_init_hint(pset, PROCESSOR_NULL);
- pset_count_init_hint(pset, PROCESSOR_NULL);
- }
- (void)hw_atomic_sub(&processor_avail_count, 1);
- commpage_update_active_cpus();
- SCHED(processor_queue_shutdown)(processor);
- /* pset lock dropped */
-
- ml_cpu_down();
-