diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2017-05-18 09:35:46 +0200 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2017-10-20 14:59:55 +0200 |
commit | 62c8ca0ead09ef289faf6517e177fd6f6d7a74a3 (patch) | |
tree | 8eeed454171864eb40485c13f004b39150704135 /freebsd/sys/kern | |
parent | Add CPUINFO command to default network init (diff) | |
download | rtems-libbsd-62c8ca0ead09ef289faf6517e177fd6f6d7a74a3.tar.bz2 |
Fix INVARIANTS support
Diffstat (limited to 'freebsd/sys/kern')
-rw-r--r-- | freebsd/sys/kern/kern_event.c | 2 | ||||
-rw-r--r-- | freebsd/sys/kern/subr_lock.c | 2 |
2 files changed, 4 insertions, 0 deletions
diff --git a/freebsd/sys/kern/kern_event.c b/freebsd/sys/kern/kern_event.c index a3464ada..ed1a9dab 100644 --- a/freebsd/sys/kern/kern_event.c +++ b/freebsd/sys/kern/kern_event.c @@ -2108,8 +2108,10 @@ static void kqueue_destroy(struct kqueue *kq) { +#ifndef __rtems__ KASSERT(kq->kq_fdp == NULL, ("kqueue still attached to a file descriptor")); +#endif /* __rtems__ */ seldrain(&kq->kq_sel); knlist_destroy(&kq->kq_sel.si_note); mtx_destroy(&kq->kq_lock); diff --git a/freebsd/sys/kern/subr_lock.c b/freebsd/sys/kern/subr_lock.c index 6ce4a06b..28991a9f 100644 --- a/freebsd/sys/kern/subr_lock.c +++ b/freebsd/sys/kern/subr_lock.c @@ -84,8 +84,10 @@ lock_init(struct lock_object *lock, struct lock_class *class, const char *name, int i; /* Check for double-init and zero object. */ +#ifndef __rtems__ KASSERT(flags & LO_NEW || !lock_initialized(lock), ("lock \"%s\" %p already initialized", name, lock)); +#endif /* __rtems__ */ /* Look up lock class to find its index. */ for (i = 0; i < LOCK_CLASS_MAX; i++) |