diff options
| author | davidxu <davidxu@FreeBSD.org> | 2006-10-25 06:28:23 +0000 |
|---|---|---|
| committer | davidxu <davidxu@FreeBSD.org> | 2006-10-25 06:28:23 +0000 |
| commit | 6f6aaf471b500472d002dc0b68cd211862a1afad (patch) | |
| tree | 5927652e2eba0b739ca0799404b733e8f0439d52 /sys/kern/kern_umtx.c | |
| parent | 4889cc1ac49302812a7e00fb0e72972f1ad9a47b (diff) | |
| download | FreeBSD-src-6f6aaf471b500472d002dc0b68cd211862a1afad.zip FreeBSD-src-6f6aaf471b500472d002dc0b68cd211862a1afad.tar.gz | |
Eliminate an unnecessary `if' statement.
Diffstat (limited to 'sys/kern/kern_umtx.c')
| -rw-r--r-- | sys/kern/kern_umtx.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/sys/kern/kern_umtx.c b/sys/kern/kern_umtx.c index c74dda0..dfb01a0 100644 --- a/sys/kern/kern_umtx.c +++ b/sys/kern/kern_umtx.c @@ -481,7 +481,8 @@ umtx_key_get(void *addr, int type, int share, struct umtx_key *key) key->shared = 0; key->info.private.vs = td->td_proc->p_vmspace; key->info.private.addr = (uintptr_t)addr; - } else if (share == PROCESS_SHARE || share == AUTO_SHARE) { + } else { + MPASS(share == PROCESS_SHARE || share == AUTO_SHARE); map = &td->td_proc->p_vmspace->vm_map; if (vm_map_lookup(&map, (vm_offset_t)addr, VM_PROT_WRITE, &entry, &key->info.shared.object, &pindex, &prot, |
