diff options
Diffstat (limited to 'os/rt/src/chschd.c')
| -rw-r--r-- | os/rt/src/chschd.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/os/rt/src/chschd.c b/os/rt/src/chschd.c index e53384b3d..ba73d3562 100644 --- a/os/rt/src/chschd.c +++ b/os/rt/src/chschd.c @@ -368,6 +368,10 @@ void chSchWakeupS(thread_t *ntp, msg_t msg) { chDbgCheckClassS();
+ chDbgAssert((ch.rlist.r_queue.p_next == (thread_t *)&ch.rlist.r_queue) ||
+ (ch.rlist.r_current->p_prio >= ch.rlist.r_queue.p_next->p_prio),
+ "priority order violation");
+
/* Storing the message to be retrieved by the target thread when it will
restart execution.*/
ntp->p_u.rdymsg = msg;
|