[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