[src/trunk]: src/sys/arch/usermode/usermode Create two panics that signal inc...

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

details:   https://anonhg.NetBSD.org/src/rev/fedcc74bd61e
branches:  trunk
changeset: 771667:fedcc74bd61e
user:      reinoud <reinoud%NetBSD.org@localhost>
date:      Sun Nov 27 21:33:19 2011 +0000

description:
Create two panics that signal inconsistent states.

diffstat:

 sys/arch/usermode/usermode/pmap.c |  6 ++++--
 1 files changed, 4 insertions(+), 2 deletions(-)

diffs (34 lines):

diff -r ca3afac81807 -r fedcc74bd61e sys/arch/usermode/usermode/pmap.c
--- a/sys/arch/usermode/usermode/pmap.c Sun Nov 27 21:31:48 2011 +0000
+++ b/sys/arch/usermode/usermode/pmap.c Sun Nov 27 21:33:19 2011 +0000
@@ -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 <reinoud%NetBSD.org@localhost>
@@ -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_update_page(ppn);
                        return true;
                }
+               panic("pmap: page not readable but marked referenced?");
                return false;
        }
 
@@ -579,6 +580,7 @@
                                return true;
                        }
                }
+               panic("pmap: page not writable but marked modified?");
                return false;
        }