XXXX pass in cpu_pause_func via pause_cpus

@@ -68,12 +68,10 @@
 extern tod_ops_t        *tod_ops;
 extern int flushes_require_xcalls;
 extern int tsc_gethrtime_enable;
 
 extern cpuset_t cpu_ready_set;
-extern void *(*cpu_pause_func)(void *);
-
 
 
 /*
  * This is what we've all been waiting for!
  */