* Hillf Danton <dhillf@gmail.com> wrote:> The function, hrtick_enabled(), could be removed, since it is not used> anywhere, though defined.Well, what about kernel/sched_fair.c?Thanks, Ingo