[rtems-libbsd commit] Fix INVARIANTS support

Sebastian Huber sebh at rtems.org
Tue Mar 31 07:27:03 UTC 2020


Module:    rtems-libbsd
Branch:    5-freebsd-12
Commit:    835250de090ab6124814ee7f0a80520115301c47
Changeset: http://git.rtems.org/rtems-libbsd/commit/?id=835250de090ab6124814ee7f0a80520115301c47

Author:    Sebastian Huber <sebastian.huber at embedded-brains.de>
Date:      Wed Mar 25 08:37:10 2020 +0100

Fix INVARIANTS support

---

 freebsd/sys/kern/kern_synch.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/freebsd/sys/kern/kern_synch.c b/freebsd/sys/kern/kern_synch.c
index 0335b26..4955585 100644
--- a/freebsd/sys/kern/kern_synch.c
+++ b/freebsd/sys/kern/kern_synch.c
@@ -186,7 +186,9 @@ _sleep(void *ident, struct lock_object *lock, int priority,
 	pri = priority;
 #endif /* __rtems__ */
 
+#ifndef __rtems__
 	KASSERT(!TD_ON_SLEEPQ(td), ("recursive sleep"));
+#endif /* __rtems__ */
 
 	if ((uint8_t *)ident >= &pause_wchan[0] &&
 	    (uint8_t *)ident <= &pause_wchan[MAXCPU - 1])



More information about the vc mailing list