XXXX pass in cpu_pause_func via pause_cpus

*** 657,667 ****
  #define PAUSE_DIE       3               /* tell pause thread to leave */
  #define PAUSE_DEAD      4               /* pause thread has left */
  
  void    mach_cpu_pause(volatile char *);
  
! void    pause_cpus(cpu_t *off_cp);
  void    start_cpus(void);
  int     cpus_paused(void);
  
  void    cpu_pause_init(void);
  cpu_t   *cpu_get(processorid_t cpun);   /* get the CPU struct associated */
--- 657,667 ----
  #define PAUSE_DIE       3               /* tell pause thread to leave */
  #define PAUSE_DEAD      4               /* pause thread has left */
  
  void    mach_cpu_pause(volatile char *);
  
! void    pause_cpus(cpu_t *off_cp, void *(*func)(void *));
  void    start_cpus(void);
  int     cpus_paused(void);
  
  void    cpu_pause_init(void);
  cpu_t   *cpu_get(processorid_t cpun);   /* get the CPU struct associated */