XXXX pass in cpu_pause_func via pause_cpus
*** 198,208 **** } if (ncpus > 1) intr_redist_all_cpus_shutdown(); ! pause_cpus(NULL); cpu_are_paused = 1; mutex_exit(&cpu_lock); } --- 198,208 ---- } if (ncpus > 1) intr_redist_all_cpus_shutdown(); ! pause_cpus(NULL, NULL); cpu_are_paused = 1; mutex_exit(&cpu_lock); }