[src/trunk]: src/sys/arch/mips/mips Add a KASSERT

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

details:   https://anonhg.NetBSD.org/src/rev/0181765f9949
branches:  trunk
changeset: 823835:0181765f9949
user:      skrll <skrll%NetBSD.org@localhost>
date:      Wed May 10 22:23:13 2017 +0000

description:
Add a KASSERT

diffstat:

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

diffs (26 lines):

diff -r 604e16032bf2 -r 0181765f9949 sys/arch/mips/mips/vm_machdep.c
--- a/sys/arch/mips/mips/vm_machdep.c   Wed May 10 22:19:31 2017 +0000
+++ b/sys/arch/mips/mips/vm_machdep.c   Wed May 10 22:23:13 2017 +0000
@@ -1,4 +1,4 @@
-/*     $NetBSD: vm_machdep.c,v 1.156 2017/05/10 22:19:31 skrll Exp $   */
+/*     $NetBSD: vm_machdep.c,v 1.157 2017/05/10 22:23:13 skrll Exp $   */
 
 /*
  * Copyright (c) 1988 University of Utah.
@@ -39,7 +39,7 @@
  */
 
 #include <sys/cdefs.h>
-__KERNEL_RCSID(0, "$NetBSD: vm_machdep.c,v 1.156 2017/05/10 22:19:31 skrll Exp $");
+__KERNEL_RCSID(0, "$NetBSD: vm_machdep.c,v 1.157 2017/05/10 22:23:13 skrll Exp $");
 
 #include "opt_ddb.h"
 #include "opt_coredump.h"
@@ -129,6 +129,7 @@
 
                for (u_int i = 0; i < UPAGES; i++) {
                        KASSERT(pte_valid_p(pte[i]));
+                       KASSERT(pte_global_p(pte[i]));
                        l2->l_md.md_upte[i] = pte[i] & ~x;
                }
        }