sched :Notify users that tickless-timer is enabled
pdabade [Fri, 26 Oct 2012 06:22:18 +0000 (11:22 +0530)]
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>

kernel/time/tick-sched.c

index fd4e160..89a051c 100644 (file)
@@ -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 */