diff options
| author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2015-05-20 13:49:05 +0200 |
|---|---|---|
| committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2015-05-20 15:03:32 +0200 |
| commit | 595b333ad2b40d3bb23ef03374b14e4b8dcf49db (patch) | |
| tree | f2584c50dd82fe577dfb599eb82b7807f2a012d1 /freebsd/sys/kern/subr_sleepqueue.c | |
| parent | Fix struct ucred warnings (diff) | |
| download | rtems-libbsd-595b333ad2b40d3bb23ef03374b14e4b8dcf49db.tar.bz2 | |
Add INVARIANTS support
Diffstat (limited to 'freebsd/sys/kern/subr_sleepqueue.c')
| -rw-r--r-- | freebsd/sys/kern/subr_sleepqueue.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/freebsd/sys/kern/subr_sleepqueue.c b/freebsd/sys/kern/subr_sleepqueue.c index a0f25b07..5ae475ab 100644 --- a/freebsd/sys/kern/subr_sleepqueue.c +++ b/freebsd/sys/kern/subr_sleepqueue.c @@ -314,8 +314,10 @@ sleepq_add(void *wchan, struct lock_object *lock, const char *wmesg, int flags, MPASS((queue >= 0) && (queue < NR_SLEEPQS)); /* If this thread is not allowed to sleep, die a horrible death. */ +#ifndef __rtems__ KASSERT(!(td->td_pflags & TDP_NOSLEEPING), ("Trying sleep, but thread marked as sleeping prohibited")); +#endif /* __rtems__ */ /* Look up the sleep queue associated with the wait channel 'wchan'. */ sq = sleepq_lookup(wchan); |