diff options
author | rwatson <rwatson@FreeBSD.org> | 2005-02-25 17:01:35 +0000 |
---|---|---|
committer | rwatson <rwatson@FreeBSD.org> | 2005-02-25 17:01:35 +0000 |
commit | 4142dc2b0f430da4c8cfa8d0e7aab614d66dbfcb (patch) | |
tree | f11057b67edb318751bde488c235c68ed99525e5 /sys/kern/uipc_sem.c | |
parent | bf8d0d6e27b035fe8f5c106d26ef7a0e604b0977 (diff) | |
download | FreeBSD-src-4142dc2b0f430da4c8cfa8d0e7aab614d66dbfcb.zip FreeBSD-src-4142dc2b0f430da4c8cfa8d0e7aab614d66dbfcb.tar.gz |
Assert sem_lock in id_to_sem() and sem_lookup_byname(), since these
functions iterate over the global POSIX semaphore lists.
MFC after: 3 days
Diffstat (limited to 'sys/kern/uipc_sem.c')
-rw-r--r-- | sys/kern/uipc_sem.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/sys/kern/uipc_sem.c b/sys/kern/uipc_sem.c index 668604a..429a6a1 100644 --- a/sys/kern/uipc_sem.c +++ b/sys/kern/uipc_sem.c @@ -156,6 +156,7 @@ id_to_sem(id) { struct ksem *ks; + mtx_assert(&sem_lock, MA_OWNED); DP(("id_to_sem: id = %0x,%p\n", id, (struct ksem *)id)); LIST_FOREACH(ks, &ksem_head, ks_entry) { DP(("id_to_sem: ks = %p\n", ks)); @@ -171,6 +172,7 @@ sem_lookup_byname(name) { struct ksem *ks; + mtx_assert(&sem_lock, MA_OWNED); LIST_FOREACH(ks, &ksem_head, ks_entry) if (ks->ks_name != NULL && strcmp(ks->ks_name, name) == 0) return (ks); |