From 835250de090ab6124814ee7f0a80520115301c47 Mon Sep 17 00:00:00 2001 From: Sebastian Huber Date: Wed, 25 Mar 2020 08:37:10 +0100 Subject: 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 0335b269..49555858 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]) -- cgit v1.2.3