diff options
| author | Paul E. McKenney <paul.mckenney@linaro.org> | 2012-04-26 13:52:27 -0400 |
|---|---|---|
| committer | Paul E. McKenney <paulmck@linux.vnet.ibm.com> | 2012-04-26 15:28:03 -0400 |
| commit | 048a0e8f5e1d94c01a5fc70f5b2f2fd2f4527326 (patch) | |
| tree | 3168a6b6b26942cc39113c434ae10f3f960b88d3 | |
| parent | 6d8133919bac4270883b24328500875a49e71b36 (diff) | |
timer: Fix mod_timer_pinned() header comment
The mod_timer_pinned() header comment states that it prevents timers
from being migrated to a different CPU. This is not the case, instead,
it ensures that the timer is posted to the current CPU, but does nothing
to prevent CPU-hotplug operations from migrating the timer.
This commit therefore brings the comment header into alignment with
reality.
Signed-off-by: Paul E. McKenney <paul.mckenney@linaro.org>
Signed-off-by: Paul E. McKenney <paulmck@linux.vnet.ibm.com>
Acked-by: Steven Rostedt <rostedt@goodmis.org>
| -rw-r--r-- | kernel/timer.c | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/kernel/timer.c b/kernel/timer.c index a297ffcf888e..837c552fe838 100644 --- a/kernel/timer.c +++ b/kernel/timer.c | |||
| @@ -861,7 +861,13 @@ EXPORT_SYMBOL(mod_timer); | |||
| 861 | * | 861 | * |
| 862 | * mod_timer_pinned() is a way to update the expire field of an | 862 | * mod_timer_pinned() is a way to update the expire field of an |
| 863 | * active timer (if the timer is inactive it will be activated) | 863 | * active timer (if the timer is inactive it will be activated) |
| 864 | * and not allow the timer to be migrated to a different CPU. | 864 | * and to ensure that the timer is scheduled on the current CPU. |
| 865 | * | ||
| 866 | * Note that this does not prevent the timer from being migrated | ||
| 867 | * when the current CPU goes offline. If this is a problem for | ||
| 868 | * you, use CPU-hotplug notifiers to handle it correctly, for | ||
| 869 | * example, cancelling the timer when the corresponding CPU goes | ||
| 870 | * offline. | ||
| 865 | * | 871 | * |
| 866 | * mod_timer_pinned(timer, expires) is equivalent to: | 872 | * mod_timer_pinned(timer, expires) is equivalent to: |
| 867 | * | 873 | * |
