/branches/rcu/kernel/generic/src/proc/tasklet.c |
---|
120,7 → 120,7 |
if (config.cpu_active>1) { |
current_cpu = CPU->id; |
//find the first cpu with nonempty tasklet_list |
for (new_cpu = (current_cpu + 1) % config.cpu_active; new_cpu!=current_cpu && tasklet_list[new_cpu]==0; |
for (new_cpu = (current_cpu + 1) % config.cpu_active; new_cpu!=current_cpu && tasklet_list[new_cpu]==0 && cpus[new_cpu].active; |
new_cpu=(new_cpu + 1)% config.cpu_active); |
if (new_cpu!=current_cpu) { |