CVS commit: src/sys/arch/usermode/usermode

[Reinoud Zandijk]

Module Name:    src
Committed By:   reinoud
Date:           Sun Nov 27 21:33:19 UTC 2011

Modified Files:
        src/sys/arch/usermode/usermode: pmap.c

Log Message:
Create two panics that signal inconsistent states.


To generate a diff of this commit:
cvs rdiff -u -r1.73 -r1.74 src/sys/arch/usermode/usermode/pmap.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/arch/usermode/usermode/pmap.c
diff -u src/sys/arch/usermode/usermode/pmap.c:1.73 src/sys/arch/usermode/usermode/pmap.c:1.74
--- src/sys/arch/usermode/usermode/pmap.c:1.73	Mon Sep 19 12:52:32 2011
+++ src/sys/arch/usermode/usermode/pmap.c	Sun Nov 27 21:33:19 2011
@@ -1,4 +1,4 @@
-/* $NetBSD: pmap.c,v 1.73 2011/09/19 12:52:32 reinoud Exp $ */
+/* $NetBSD: pmap.c,v 1.74 2011/11/27 21:33:19 reinoud Exp $ */
 
 /*-
  * Copyright (c) 2011 Reinoud Zandijk <rein...@netbsd.org>
@@ -27,7 +27,7 @@
  */
 
 #include <sys/cdefs.h>
-__KERNEL_RCSID(0, "$NetBSD: pmap.c,v 1.73 2011/09/19 12:52:32 reinoud Exp $");
+__KERNEL_RCSID(0, "$NetBSD: pmap.c,v 1.74 2011/11/27 21:33:19 reinoud Exp $");
 
 #include "opt_memsize.h"
 #include "opt_kmempages.h"
@@ -550,6 +550,7 @@ pmap_fault(pmap_t pmap, vaddr_t va, vm_p
 			pmap_update_page(ppn);
 			return true;
 		}
+		panic("pmap: page not readable but marked referenced?");
 		return false;
 	}
 
@@ -579,6 +580,7 @@ pmap_fault(pmap_t pmap, vaddr_t va, vm_p
 				return true;
 			}
 		}
+		panic("pmap: page not writable but marked modified?");
 		return false;
 	}