Print this page
XXXX pass in cpu_pause_func via pause_cpus

@@ -657,11 +657,11 @@
 #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    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 */