Aren
/
NetBSD
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

uvm_page_own: more assertions.

This commit is contained in:
yamt 2006-04-13 08:33:18 +00:00
parent bde9af0a6f
commit 4dec4ffdcb
1 changed files with 17 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
sys/uvm/uvm_page.c
View File

@ -1,4 +1,4 @@
/* $NetBSD: uvm_page.c,v 1.111 2006/02/12 09:19:27 yamt Exp $ */
/* $NetBSD: uvm_page.c,v 1.112 2006/04/13 08:33:18 yamt Exp $ */
/*
* Copyright (c) 1997 Charles D. Cranor and Washington University.
@ -71,7 +71,7 @@
*/
#include <sys/cdefs.h>
__KERNEL_RCSID(0, "$NetBSD: uvm_page.c,v 1.111 2006/02/12 09:19:27 yamt Exp $");
__KERNEL_RCSID(0, "$NetBSD: uvm_page.c,v 1.112 2006/04/13 08:33:18 yamt Exp $");
#include "opt_uvmhist.h"
@ -1481,10 +1481,24 @@ uvm_page_unbusy(struct vm_page **pgs, int npgs)
void
uvm_page_own(struct vm_page *pg, const char *tag)
{
struct uvm_object *uobj;
struct vm_anon *anon;
KASSERT((pg->flags & (PG_PAGEOUT|PG_RELEASED)) == 0);
uobj = pg->uobject;
anon = pg->uanon;
if (uobj != NULL) {
LOCK_ASSERT(simple_lock_held(&uobj->vmobjlock));
} else if (anon != NULL) {
LOCK_ASSERT(simple_lock_held(&anon->an_lock));
}
KASSERT((pg->flags & PG_WANTED) == 0);
/* gain ownership? */
if (tag) {
KASSERT((pg->flags & PG_BUSY) != 0);
if (pg->owner_tag) {
printf("uvm_page_own: page %p already owned "
"by proc %d [%s]\n", pg,
@ -1497,6 +1511,7 @@ uvm_page_own(struct vm_page *pg, const char *tag)
}
/* drop ownership */
KASSERT((pg->flags & PG_BUSY) == 0);
if (pg->owner_tag == NULL) {
printf("uvm_page_own: dropping ownership of an non-owned "
"page (%p)\n", pg);