XXXX pass in cpu_pause_func via pause_cpus
*** 68,79 **** 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! */ --- 68,77 ----