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_timeout.c | |
| parent | Fix struct ucred warnings (diff) | |
| download | rtems-libbsd-595b333ad2b40d3bb23ef03374b14e4b8dcf49db.tar.bz2 | |
Add INVARIANTS support
Diffstat (limited to 'freebsd/sys/kern/kern_timeout.c')
| -rw-r--r-- | freebsd/sys/kern/kern_timeout.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/freebsd/sys/kern/kern_timeout.c b/freebsd/sys/kern/kern_timeout.c index 821b035d..00024aa3 100644 --- a/freebsd/sys/kern/kern_timeout.c +++ b/freebsd/sys/kern/kern_timeout.c @@ -1095,7 +1095,9 @@ again: KASSERT(!cc_cme_migrating(cc), ("callout wrongly scheduled for migration")); CC_UNLOCK(cc); +#ifndef __rtems__ KASSERT(!sq_locked, ("sleepqueue chain locked")); +#endif /* __rtems__ */ return (1); } else if ((c->c_flags & CALLOUT_DFRMIGRATION) != 0) { c->c_flags &= ~CALLOUT_DFRMIGRATION; @@ -1107,7 +1109,9 @@ again: CTR3(KTR_CALLOUT, "failed to stop %p func %p arg %p", c, c->c_func, c->c_arg); CC_UNLOCK(cc); +#ifndef __rtems__ KASSERT(!sq_locked, ("sleepqueue chain still locked")); +#endif /* __rtems__ */ return (0); } #ifndef __rtems__ |