patch cpu-pause-func-deglobalize
@@ -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); }