diff options
| author | Philippe Charnier <charnier@FreeBSD.org> | 2002-08-25 13:23:09 +0000 |
|---|---|---|
| committer | Philippe Charnier <charnier@FreeBSD.org> | 2002-08-25 13:23:09 +0000 |
| commit | 93b0017f88462f9af15368440324aa3be58eb18f (patch) | |
| tree | 9d932320e38df05718ee72d760a4d0d204431b9b /sys/kern/kern_lock.c | |
| parent | 7fed38d0a00297914313d5b57f3fae8ef7d4e627 (diff) | |
Notes
Diffstat (limited to 'sys/kern/kern_lock.c')
| -rw-r--r-- | sys/kern/kern_lock.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/sys/kern/kern_lock.c b/sys/kern/kern_lock.c index 5189bb715675..5705f83512bd 100644 --- a/sys/kern/kern_lock.c +++ b/sys/kern/kern_lock.c @@ -272,7 +272,7 @@ debuglockmgr(lkp, flags, interlkp, td, name, file, line) * An alternative would be to fail with EDEADLK. */ sharelock(lkp, 1); - /* fall into downgrade */ + /* FALLTHROUGH downgrade */ case LK_DOWNGRADE: KASSERT(lkp->lk_lockholder == pid && lkp->lk_exclusivecount != 0, @@ -298,7 +298,7 @@ debuglockmgr(lkp, flags, interlkp, td, name, file, line) error = EBUSY; break; } - /* fall into normal upgrade */ + /* FALLTHROUGH normal upgrade */ case LK_UPGRADE: /* @@ -353,7 +353,7 @@ debuglockmgr(lkp, flags, interlkp, td, name, file, line) if ( (lkp->lk_flags & (LK_SHARE_NONZERO|LK_WAIT_NONZERO)) == LK_WAIT_NONZERO) wakeup((void *)lkp); - /* fall into exclusive request */ + /* FALLTHROUGH exclusive request */ case LK_EXCLUSIVE: if (lkp->lk_lockholder == pid && pid != LK_KERNPROC) { |
