diff options
author | alc <alc@FreeBSD.org> | 1999-07-20 05:46:56 +0000 |
---|---|---|
committer | alc <alc@FreeBSD.org> | 1999-07-20 05:46:56 +0000 |
commit | db0a7d40ad529f7101393e18772d932279b79520 (patch) | |
tree | 394dbedec766cdd04e70abac17d2ac5a2f92e902 /sys/vm | |
parent | 802275f6c60e9b637e4cb968e36e1f345886e96e (diff) | |
download | FreeBSD-src-db0a7d40ad529f7101393e18772d932279b79520.zip FreeBSD-src-db0a7d40ad529f7101393e18772d932279b79520.tar.gz |
Convert a "page not busy" warning to an assertion.
Submitted by: dillon@backplane.com
Diffstat (limited to 'sys/vm')
-rw-r--r-- | sys/vm/vm_fault.c | 10 |
1 files changed, 3 insertions, 7 deletions
diff --git a/sys/vm/vm_fault.c b/sys/vm/vm_fault.c index 882d52e..6c24c06 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.101 1999/02/25 06:00:52 alc Exp $ + * $Id: vm_fault.c,v 1.102 1999/05/02 23:57:11 alc Exp $ */ /* @@ -790,12 +790,8 @@ readrest: * Page had better still be busy */ -#ifdef INVARIANTS - if ((fs.m->flags & PG_BUSY) == 0) { - printf("WARNING! PAGE %p NOT BUSY!!!\n", fs.m); - vm_page_busy(fs.m); - } -#endif + KASSERT(fs.m->flags & PG_BUSY, + ("vm_fault: page %p not busy!", fs.m)); unlock_things(&fs); |