CVS commit: [yamt-pagecache] src/sys/uvm

[YAMAMOTO Takashi]

Module Name:    src
Committed By:   yamt
Date:           Wed Apr 18 13:40:44 UTC 2012

Modified Files:
        src/sys/uvm [yamt-pagecache]: uvm_page_array.c

Log Message:
fix DEBUG code


To generate a diff of this commit:
cvs rdiff -u -r1.1.2.4 -r1.1.2.5 src/sys/uvm/uvm_page_array.c

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.


Modified files:

Index: src/sys/uvm/uvm_page_array.c
diff -u src/sys/uvm/uvm_page_array.c:1.1.2.4 src/sys/uvm/uvm_page_array.c:1.1.2.5
--- src/sys/uvm/uvm_page_array.c:1.1.2.4	Wed Jan 18 02:09:06 2012
+++ src/sys/uvm/uvm_page_array.c	Wed Apr 18 13:40:44 2012
@@ -1,4 +1,4 @@
-/*	$NetBSD: uvm_page_array.c,v 1.1.2.4 2012/01/18 02:09:06 yamt Exp $	*/
+/*	$NetBSD: uvm_page_array.c,v 1.1.2.5 2012/04/18 13:40:44 yamt Exp $	*/
 
 /*-
  * Copyright (c)2011 YAMAMOTO Takashi,
@@ -27,7 +27,7 @@
  */
 
 #include <sys/cdefs.h>
-__KERNEL_RCSID(0, "$NetBSD: uvm_page_array.c,v 1.1.2.4 2012/01/18 02:09:06 yamt Exp $");
+__KERNEL_RCSID(0, "$NetBSD: uvm_page_array.c,v 1.1.2.5 2012/04/18 13:40:44 yamt Exp $");
 
 #include <sys/param.h>
 #include <sys/systm.h>
@@ -168,8 +168,15 @@ uvm_page_array_fill(struct uvm_page_arra
 
 		KASSERT(pg != NULL);
 		KASSERT(pg->uobject == uobj);
-		KASSERT(pg->offset >= off);
-		KASSERT(i == 0 || pg->offset > ar->ar_pages[i - 1]->offset);
+		if (backward) {
+			KASSERT(pg->offset <= off);
+			KASSERT(i == 0 ||
+			    pg->offset < ar->ar_pages[i - 1]->offset);
+		} else {
+			KASSERT(pg->offset >= off);
+			KASSERT(i == 0 ||
+			    pg->offset > ar->ar_pages[i - 1]->offset);
+		}
 	}
 #endif /* defined(DEBUG) */
 	return 0;