diff options
| author | Eivind Eklund <eivind@FreeBSD.org> | 1999-01-08 17:31:30 +0000 |
|---|---|---|
| committer | Eivind Eklund <eivind@FreeBSD.org> | 1999-01-08 17:31:30 +0000 |
| commit | 5526d2d920eb17b1507499f35b275b486f7fe8d0 (patch) | |
| tree | c3aa8110c730b536d4b76b776fd65a60d1a70818 /sys/vm/vm_fault.c | |
| parent | 95ddc5daa5374332a4bc16c64c498099fa823adf (diff) | |
| download | src-5526d2d920eb17b1507499f35b275b486f7fe8d0.tar.gz src-5526d2d920eb17b1507499f35b275b486f7fe8d0.zip | |
Split DIAGNOSTIC -> DIAGNOSTIC, INVARIANTS, and INVARIANT_SUPPORT as
discussed on -hackers.
Introduce 'KASSERT(assertion, ("panic message", args))' for simple
check + panic.
Reviewed by: msmith
Notes
Notes:
svn path=/head/; revision=42408
Diffstat (limited to 'sys/vm/vm_fault.c')
| -rw-r--r-- | sys/vm/vm_fault.c | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/sys/vm/vm_fault.c b/sys/vm/vm_fault.c index 886833a5edd4..f1456b68e1df 100644 --- a/sys/vm/vm_fault.c +++ b/sys/vm/vm_fault.c @@ -66,7 +66,7 @@ * any improvements or extensions that they make and grant Carnegie the * rights to redistribute these changes. * - * $Id: vm_fault.c,v 1.90 1998/10/28 13:37:02 dg Exp $ + * $Id: vm_fault.c,v 1.91 1998/11/25 07:40:49 dg Exp $ */ /* @@ -528,10 +528,8 @@ readrest: } } -#if defined(DIAGNOSTIC) - if ((fs.m->flags & PG_BUSY) == 0) - panic("vm_fault: not busy after main loop"); -#endif + KASSERT((fs.m->flags & PG_BUSY) != 0, + ("vm_fault: not busy after main loop")); /* * PAGE HAS BEEN FOUND. [Loop invariant still holds -- the object lock |