revert 'sched: redundant reschedule when set_user_nice() boosts a prio of a task...

[~andy/linux] / kernel / hrtimer.c

diff --git a/kernel/hrtimer.c b/kernel/hrtimer.c
index 1b3033105b40ed0896cc7658c1cfeb9b8885a73e..c9f4f044a8a8f032e203c2bb81fb73fa1c98c212 100644 (file)
--- a/kernel/hrtimer.c
+++ b/kernel/hrtimer.c
@@ -669,6 +669,7 @@ hrtimer_forward(struct hrtimer *timer, ktime_t now, ktime_t interval)
 
        return orun;
 }
+EXPORT_SYMBOL_GPL(hrtimer_forward);
 
 /*
  * enqueue_hrtimer - internal function to (re)start a timer