diff options
author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2013-06-08 12:22:35 -0400 |
---|---|---|
committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2013-06-25 03:38:26 -0400 |
commit | c1f183501ce70a510a4d9ab98595500904f33705 (patch) | |
tree | ffe8797f0fc51860a3d1ff579df32f2d2120ca2e /lib | |
parent | 5e5d22d9724a5bc11d459c4f08d475941c2482ed (diff) |
Augment rt_task() with is_realtime()
Whenever the kernel checks for rt_task() to avoid delaying real-time
tasks, we want it to also not delay LITMUS^RT tasks. Hence, most
calls to rt_task() should be matched by an equivalent call to
is_realtime(). This patch fixes a few places where this was missing.
Notably, this affects the impolementation of select(), which uses
timer_slack_ns when setting up timers for non-real-time tasks.
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions