XXXX pass in cpu_pause_func via pause_cpus
*** 338,348 **** i++; cpup = cpup->cpu_next; } while (cpup != cpu_list); num = i; ! pause_cpus(NULL); for (i = 0; i < num; i++) disp_dq_assign(&disp_mem[i], numpris); start_cpus(); /* --- 338,348 ---- i++; cpup = cpup->cpu_next; } while (cpup != cpu_list); num = i; ! pause_cpus(NULL, NULL); for (i = 0; i < num; i++) disp_dq_assign(&disp_mem[i], numpris); start_cpus(); /*