[src/trunk]: src/sys/arch/hppa/hppa Add a KASSERT.

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

details:   https://anonhg.NetBSD.org/src/rev/6b2cbb568666
branches:  trunk
changeset: 772498:6b2cbb568666
user:      skrll <skrll%NetBSD.org@localhost>
date:      Fri Jan 06 08:48:43 2012 +0000

description:
Add a KASSERT.

diffstat:

 sys/arch/hppa/hppa/pmap.c |  5 +++--
 1 files changed, 3 insertions(+), 2 deletions(-)

diffs (26 lines):

diff -r 0f877e7b803f -r 6b2cbb568666 sys/arch/hppa/hppa/pmap.c
--- a/sys/arch/hppa/hppa/pmap.c Fri Jan 06 08:38:11 2012 +0000
+++ b/sys/arch/hppa/hppa/pmap.c Fri Jan 06 08:48:43 2012 +0000
@@ -1,4 +1,4 @@
-/*     $NetBSD: pmap.c,v 1.94 2012/01/06 08:38:11 skrll Exp $  */
+/*     $NetBSD: pmap.c,v 1.95 2012/01/06 08:48:43 skrll Exp $  */
 
 /*-
  * Copyright (c) 2001, 2002 The NetBSD Foundation, Inc.
@@ -65,7 +65,7 @@
  */
 
 #include <sys/cdefs.h>
-__KERNEL_RCSID(0, "$NetBSD: pmap.c,v 1.94 2012/01/06 08:38:11 skrll Exp $");
+__KERNEL_RCSID(0, "$NetBSD: pmap.c,v 1.95 2012/01/06 08:48:43 skrll Exp $");
 
 #include "opt_cputype.h"
 
@@ -1487,6 +1487,7 @@
        DPRINTF(PDB_FOLLOW|PDB_BITS, 
            ("%s(%p, %x, %x)\n", __func__, pg, set, clear));
 
+       KASSERT((set & clear) == 0);
        KASSERT((set & ~(PVF_REF|PVF_UNCACHEABLE)) == 0);
        KASSERT((clear & ~(PVF_MOD|PVF_WRITE|PVF_UNCACHEABLE)) == 0);