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

[YAMAMOTO Takashi]

Module Name:    src
Committed By:   yamt
Date:           Wed Jan 23 00:38:02 UTC 2013

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

Log Message:
tweak assertions


To generate a diff of this commit:
cvs rdiff -u -r1.1.2.6 -r1.1.2.7 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.6 src/sys/uvm/uvm_page_array.c:1.1.2.7
--- src/sys/uvm/uvm_page_array.c:1.1.2.6	Wed Aug  1 22:34:14 2012
+++ src/sys/uvm/uvm_page_array.c	Wed Jan 23 00:38:01 2013
@@ -1,4 +1,4 @@
-/*	$NetBSD: uvm_page_array.c,v 1.1.2.6 2012/08/01 22:34:14 yamt Exp $	*/
+/*	$NetBSD: uvm_page_array.c,v 1.1.2.7 2013/01/23 00:38:01 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.6 2012/08/01 22:34:14 yamt Exp $");
+__KERNEL_RCSID(0, "$NetBSD: uvm_page_array.c,v 1.1.2.7 2013/01/23 00:38:01 yamt Exp $");
 
 #include <sys/param.h>
 #include <sys/systm.h>
@@ -171,15 +171,15 @@ uvm_page_array_fill(struct uvm_page_arra
 	for (i = 0; i < ar->ar_npages; i++) {
 		struct vm_page * const pg = ar->ar_pages[i];
 
-		KASSERT(pg != NULL);
-		KASSERT(pg->uobject == uobj);
+		KDASSERT(pg != NULL);
+		KDASSERT(pg->uobject == uobj);
 		if (backward) {
-			KASSERT(pg->offset <= off);
-			KASSERT(i == 0 ||
+			KDASSERT(pg->offset <= off);
+			KDASSERT(i == 0 ||
 			    pg->offset < ar->ar_pages[i - 1]->offset);
 		} else {
-			KASSERT(pg->offset >= off);
-			KASSERT(i == 0 ||
+			KDASSERT(pg->offset >= off);
+			KDASSERT(i == 0 ||
 			    pg->offset > ar->ar_pages[i - 1]->offset);
 		}
 	}