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/subr_lock.c | |
| parent | Add CPUINFO command to default network init (diff) | |
| download | rtems-libbsd-62c8ca0ead09ef289faf6517e177fd6f6d7a74a3.tar.bz2 | |
Fix INVARIANTS support
Diffstat (limited to 'freebsd/sys/kern/subr_lock.c')
| -rw-r--r-- | freebsd/sys/kern/subr_lock.c | 2 |
1 files changed, 2 insertions, 0 deletions
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++) |