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