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