[src/trunk]: src/sys/arch/sgimips/sgimips KASSERT that MIPS_SR_KX is set when...

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

details:   https://anonhg.NetBSD.org/src/rev/f085f0ab4c30
branches:  trunk
changeset: 819101:f085f0ab4c30
user:      macallan <macallan%NetBSD.org@localhost>
date:      Thu Nov 17 23:46:52 2016 +0000

description:
KASSERT that MIPS_SR_KX is set when entering interrupt handler in !o32

diffstat:

 sys/arch/sgimips/sgimips/cpu.c |  9 +++++++--
 1 files changed, 7 insertions(+), 2 deletions(-)

diffs (30 lines):

diff -r 559790709ef3 -r f085f0ab4c30 sys/arch/sgimips/sgimips/cpu.c
--- a/sys/arch/sgimips/sgimips/cpu.c    Thu Nov 17 23:15:38 2016 +0000
+++ b/sys/arch/sgimips/sgimips/cpu.c    Thu Nov 17 23:46:52 2016 +0000
@@ -1,4 +1,4 @@
-/*     $NetBSD: cpu.c,v 1.26 2011/02/20 07:59:51 matt Exp $    */
+/*     $NetBSD: cpu.c,v 1.27 2016/11/17 23:46:52 macallan Exp $        */
 
 /*
  * Copyright (c) 2000 Soren S. Jorvang
@@ -35,7 +35,7 @@
  */
 
 #include <sys/cdefs.h>
-__KERNEL_RCSID(0, "$NetBSD: cpu.c,v 1.26 2011/02/20 07:59:51 matt Exp $");
+__KERNEL_RCSID(0, "$NetBSD: cpu.c,v 1.27 2016/11/17 23:46:52 macallan Exp $");
 
 #include <sys/param.h>
 #include <sys/device.h>
@@ -109,6 +109,11 @@
 
        curcpu()->ci_data.cpu_nintr++;
 
+#if !defined(__mips_o32)
+       KASSERTMSG(mips_cp0_status_read() & MIPS_SR_KX,
+                  "pc %"PRIxVADDR ", status %x\n", pc, status);
+#endif
+
        (void)(*platform.watchdog_reset)();
 
        while (ppl < (ipl = splintr(&pending))) {