diff options
author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2013-07-25 16:56:55 -0400 |
---|---|---|
committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2013-08-07 03:47:03 -0400 |
commit | 277efe46abaf2c7b49b7b28417bc77ae40445be2 (patch) | |
tree | a00844b64b0656401871103ceaf54cd4419137f8 /litmus/uncachedev.c | |
parent | 1288313c31e75a5138e4c87901eda10a07ee80ca (diff) |
Don't call set_tsk_need_resched() on remote LITMUS^RT task
This patch fixes a BUG_ON() in litmus/preempt.c:33 reported by Felipe
Cerqueira & Manohar Vanga.
Diffstat (limited to 'litmus/uncachedev.c')
0 files changed, 0 insertions, 0 deletions