commit 20b151279d4c3bcbb7f7d6e431b6efbc14a4cc05
author Puneet Saxena <puneets@nvidia.com> Tue Nov 06 17:41:54 2012 +0530
committer Simone Willett <swillett@nvidia.com> Mon Nov 12 18:52:17 2012 -0800
tree c978ac8f669d221fd7a2566b328951cb52040103
parent e3c1ed04e0d9e3a13a865378894e4b35d6a0c68f

Revert "sched :Notify users that tickless-timer is enabled"

bug 1040355

This reverts commit 84b80bb4d3db3ef5a58660cbfb37a6a4b8b3f267.

Change-Id: I40d7ef8b28673355116b677ac4abffae58d5f5c5
Signed-off-by: Puneet Saxena <puneets@nvidia.com>
Reviewed-on: http://git-master/r/161899
Reviewed-by: Automatic_Commit_Validation_User
Reviewed-by: Antti Miettinen <amiettinen@nvidia.com>
Tested-by: Antti Miettinen <amiettinen@nvidia.com>
Reviewed-by: Bharat Nihalani <bnihalani@nvidia.com>
Reviewed-by: Peter Boonstoppel <pboonstoppel@nvidia.com>

kernel/time/tick-sched.c

diff --git a/kernel/time/tick-sched.c b/kernel/time/tick-sched.c
index 89a051c..fd4e160 100644
--- a/kernel/time/tick-sched.c
+++ b/kernel/time/tick-sched.c
@@ -693,9 +693,6 @@
 		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());
 }
 
 /*
@@ -847,12 +844,8 @@
 	}
 
 #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 */