diff options
| author | pdabade <pdabade@nvidia.com> | 2012-10-26 11:52:18 +0530 |
|---|---|---|
| committer | Simone Willett <swillett@nvidia.com> | 2012-10-31 19:15:21 -0700 |
| commit | 84b80bb4d3db3ef5a58660cbfb37a6a4b8b3f267 (patch) | |
| tree | 2b3fcdc02b0e0c0ff7a499813c76b72f4ecbf77d /kernel | |
| parent | cd3670b35f28ae7854a72cd92ec7eed896045742 (diff) | |
sched :Notify users that tickless-timer is enabled
Notify users that tickless-timer is enabled.
Bug 1049943
Change-Id: If178c85f21d804b88e91b9430ba5576cfc95cbed
Signed-off-by: Pankaj Dabade <pdabade@nvidia.com>
Reviewed-on: http://git-master/r/147884
Reviewed-by: Automatic_Commit_Validation_User
Reviewed-by: Venkata Jagadish <vjagadish@nvidia.com>
GVS: Gerrit_Virtual_Submit
Reviewed-by: Laxman Dewangan <ldewangan@nvidia.com>
Diffstat (limited to 'kernel')
| -rw-r--r-- | kernel/time/tick-sched.c | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/kernel/time/tick-sched.c b/kernel/time/tick-sched.c index fd4e160aa9c4..89a051c4b58b 100644 --- a/kernel/time/tick-sched.c +++ b/kernel/time/tick-sched.c @@ -693,6 +693,9 @@ static void tick_nohz_switch_to_nohz(void) next = ktime_add(next, tick_period); } local_irq_enable(); + printk(KERN_INFO + "Switched to NOHz mode on CPU #%d with low Resolution Timer\n", + smp_processor_id()); } /* @@ -844,8 +847,12 @@ void tick_setup_sched_timer(void) } #ifdef CONFIG_NO_HZ - if (tick_nohz_enabled) + if (tick_nohz_enabled) { ts->nohz_mode = NOHZ_MODE_HIGHRES; + printk(KERN_INFO + "Switched to NOHz mode on CPU #%d with high Resolution Timer\n", + smp_processor_id()); + } #endif } #endif /* HIGH_RES_TIMERS */ |