aboutsummaryrefslogtreecommitdiff
path: root/kernel/sched/cpudeadline.h
AgeCommit message (Expand)Author
2014-01-13sched/deadline: speed up SCHED_DEADLINE pushes with a push-heapJuri Lelli