Print this page
XXXX pass in cpu_pause_func via pause_cpus

*** 584,594 **** int done = 0; int i; ASSERT(MUTEX_HELD(&cpu_lock)); ! pause_cpus(NULL); while (!done) { done = 1; poke_allowed = 0; --- 584,594 ---- int done = 0; int i; ASSERT(MUTEX_HELD(&cpu_lock)); ! pause_cpus(NULL, NULL); while (!done) { done = 1; poke_allowed = 0;