[src/trunk]: src/sys/rump/librump/rumpkern Assert that object is locked in pa...

[pooka <pooka%NetBSD.org@localhost>]

details:   https://anonhg.NetBSD.org/src/rev/ef8dbd7f93b3
branches:  trunk
changeset: 757645:ef8dbd7f93b3
user:      pooka <pooka%NetBSD.org@localhost>
date:      Thu Sep 09 10:02:14 2010 +0000

description:
Assert that object is locked in page unbusy.

diffstat:

 sys/rump/librump/rumpkern/vm.c |  7 +++++--
 1 files changed, 5 insertions(+), 2 deletions(-)

diffs (28 lines):

diff -r 1b381e0456cd -r ef8dbd7f93b3 sys/rump/librump/rumpkern/vm.c
--- a/sys/rump/librump/rumpkern/vm.c    Thu Sep 09 09:59:48 2010 +0000
+++ b/sys/rump/librump/rumpkern/vm.c    Thu Sep 09 10:02:14 2010 +0000
@@ -1,4 +1,4 @@
-/*     $NetBSD: vm.c,v 1.93 2010/09/08 21:14:32 pooka Exp $    */
+/*     $NetBSD: vm.c,v 1.94 2010/09/09 10:02:14 pooka Exp $    */
 
 /*
  * Copyright (c) 2007-2010 Antti Kantee.  All Rights Reserved.
@@ -41,7 +41,7 @@
  */
 
 #include <sys/cdefs.h>
-__KERNEL_RCSID(0, "$NetBSD: vm.c,v 1.93 2010/09/08 21:14:32 pooka Exp $");
+__KERNEL_RCSID(0, "$NetBSD: vm.c,v 1.94 2010/09/09 10:02:14 pooka Exp $");
 
 #include <sys/param.h>
 #include <sys/atomic.h>
@@ -484,6 +484,9 @@
        struct vm_page *pg;
        int i;
 
+       KASSERT(npgs > 0);
+       KASSERT(mutex_owned(&pgs[0]->uobject->vmobjlock));
+
        for (i = 0; i < npgs; i++) {
                pg = pgs[i];
                if (pg == NULL)