[src/trunk]: src/sys/arch/mips/mips Add a KDASSERT to make sure interrupts ar...

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

details:   https://anonhg.NetBSD.org/src/rev/c5a6d0192d04
branches:  trunk
changeset: 808875:c5a6d0192d04
user:      matt <matt%NetBSD.org@localhost>
date:      Sat Jun 06 04:43:41 2015 +0000

description:
Add a KDASSERT to make sure interrupts are still enabled.

diffstat:

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

diffs (26 lines):

diff -r bdfd02755991 -r c5a6d0192d04 sys/arch/mips/mips/mips_softint.c
--- a/sys/arch/mips/mips/mips_softint.c Sat Jun 06 04:40:19 2015 +0000
+++ b/sys/arch/mips/mips/mips_softint.c Sat Jun 06 04:43:41 2015 +0000
@@ -1,4 +1,4 @@
-/*     $NetBSD: mips_softint.c,v 1.6 2011/09/27 01:02:34 jym Exp $     */
+/*     $NetBSD: mips_softint.c,v 1.7 2015/06/06 04:43:41 matt Exp $    */
 
 /*-
  * Copyright (c) 2009, 2010 The NetBSD Foundation, Inc.
@@ -30,7 +30,7 @@
  */
 
 #include <sys/cdefs.h>
-__KERNEL_RCSID(0, "$NetBSD: mips_softint.c,v 1.6 2011/09/27 01:02:34 jym Exp $");
+__KERNEL_RCSID(0, "$NetBSD: mips_softint.c,v 1.7 2015/06/06 04:43:41 matt Exp $");
 
 #include <sys/param.h>
 #include <sys/cpu.h>
@@ -114,6 +114,7 @@
        KASSERT((ipending & MIPS_SOFT_INT_MASK) != 0);
        KASSERT((ipending & ~MIPS_SOFT_INT_MASK) == 0);
        KASSERT(ci->ci_cpl == IPL_HIGH);
+       KDASSERT(mips_cp0_status_read() & MIPS_SR_INT_IE);
        KASSERTMSG(ci->ci_mtx_count == 0,
            "%s: cpu%u (%p): ci_mtx_count (%d) != 0",
             __func__, cpu_index(ci), ci, ci->ci_mtx_count);