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/kern_synch.c | |
parent | Fix struct ucred warnings (diff) | |
download | rtems-libbsd-595b333ad2b40d3bb23ef03374b14e4b8dcf49db.tar.bz2 |
Add INVARIANTS support
Diffstat (limited to 'freebsd/sys/kern/kern_synch.c')
-rw-r--r-- | freebsd/sys/kern/kern_synch.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/freebsd/sys/kern/kern_synch.c b/freebsd/sys/kern/kern_synch.c index f85ffc5c..2824c9a9 100644 --- a/freebsd/sys/kern/kern_synch.c +++ b/freebsd/sys/kern/kern_synch.c @@ -179,7 +179,9 @@ _sleep(void *ident, struct lock_object *lock, int priority, "Sleeping on \"%s\"", wmesg); KASSERT(timo != 0 || mtx_owned(&Giant) || lock != NULL, ("sleeping without a lock")); +#ifndef __rtems__ KASSERT(p != NULL, ("msleep1")); +#endif /* __rtems__ */ KASSERT(ident != NULL && TD_IS_RUNNING(td), ("msleep")); #ifndef __rtems__ if (priority & PDROP) @@ -415,8 +417,10 @@ wakeup(void *ident) wakeup_swapper = sleepq_broadcast(ident, SLEEPQ_SLEEP, 0, 0); sleepq_release(ident); if (wakeup_swapper) { +#ifndef __rtems__ KASSERT(ident != &proc0, ("wakeup and wakeup_swapper and proc0")); +#endif /* __rtems__ */ kick_proc0(); } } |