| /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) { |