XXXX pass in cpu_pause_func via pause_cpus
*** 61,71 **** extern void real_mode_start_cpu_end(void); extern void real_mode_stop_cpu_stage1(void); extern void real_mode_stop_cpu_stage1_end(void); extern void real_mode_stop_cpu_stage2(void); extern void real_mode_stop_cpu_stage2_end(void); - extern void *(*cpu_pause_func)(void *); void rmp_gdt_init(rm_platter_t *); /* * Fill up the real mode platter to make it easy for real mode code to --- 61,70 ----