XXXX pass in cpu_pause_func via pause_cpus

@@ -584,11 +584,11 @@
         int done = 0;
         int i;
 
         ASSERT(MUTEX_HELD(&cpu_lock));
 
-        pause_cpus(NULL);
+        pause_cpus(NULL, NULL);
 
         while (!done) {
                 done = 1;
                 poke_allowed = 0;