sched :Notify users that tickless-timer is enabled
authorpdabade <pdabade@nvidia.com>
Fri, 26 Oct 2012 06:22:18 +0000 (11:22 +0530)
committerSimone Willett <swillett@nvidia.com>
Thu, 1 Nov 2012 02:15:21 +0000 (19:15 -0700)
commit84b80bb4d3db3ef5a58660cbfb37a6a4b8b3f267
tree2b3fcdc02b0e0c0ff7a499813c76b72f4ecbf77d
parentcd3670b35f28ae7854a72cd92ec7eed896045742
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>
kernel/time/tick-sched.c