[src/trunk]: src/sys/arch/arm/cortex Verify the source isn't a dummy source.

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

details:   https://anonhg.NetBSD.org/src/rev/a8a24e31a1c4
branches:  trunk
changeset: 781548:a8a24e31a1c4
user:      matt <matt%NetBSD.org@localhost>
date:      Fri Sep 14 03:52:50 2012 +0000

description:
Verify the source isn't a dummy source.

diffstat:

 sys/arch/arm/cortex/gic.c |  5 +++--
 1 files changed, 3 insertions(+), 2 deletions(-)

diffs (26 lines):

diff -r 15fa9f63b2a6 -r a8a24e31a1c4 sys/arch/arm/cortex/gic.c
--- a/sys/arch/arm/cortex/gic.c Fri Sep 14 03:52:19 2012 +0000
+++ b/sys/arch/arm/cortex/gic.c Fri Sep 14 03:52:50 2012 +0000
@@ -1,4 +1,4 @@
-/*     $NetBSD: gic.c,v 1.1 2012/09/01 00:03:14 matt Exp $     */
+/*     $NetBSD: gic.c,v 1.2 2012/09/14 03:52:50 matt Exp $     */
 /*-
  * Copyright (c) 2012 The NetBSD Foundation, Inc.
  * All rights reserved.
@@ -31,7 +31,7 @@
 #define _INTR_PRIVATE
 
 #include <sys/cdefs.h>
-__KERNEL_RCSID(0, "$NetBSD: gic.c,v 1.1 2012/09/01 00:03:14 matt Exp $");
+__KERNEL_RCSID(0, "$NetBSD: gic.c,v 1.2 2012/09/14 03:52:50 matt Exp $");
 
 #include <sys/param.h>
 #include <sys/bus.h>
@@ -247,6 +247,7 @@
 
                //const uint32_t cpuid = __SHIFTOUT(iar, GICC_IAR_CPUID_MASK);
                struct intrsource * const is = sc->sc_pic.pic_sources[irq];
+               KASSERT(is != &armgic_dummy_source);
 
                /*
                 * GIC has asserted IPL for us so we can just update ci_cpl.