patch cpu-pause-func-deglobalize

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