Module Name:    src
Committed By:   matt
Date:           Fri Sep 14 03:52:50 UTC 2012

Modified Files:
        src/sys/arch/arm/cortex: gic.c

Log Message:
Verify the source isn't a dummy source.


To generate a diff of this commit:
cvs rdiff -u -r1.1 -r1.2 src/sys/arch/arm/cortex/gic.c

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

Modified files:

Index: src/sys/arch/arm/cortex/gic.c
diff -u src/sys/arch/arm/cortex/gic.c:1.1 src/sys/arch/arm/cortex/gic.c:1.2
--- src/sys/arch/arm/cortex/gic.c:1.1	Sat Sep  1 00:03:14 2012
+++ src/sys/arch/arm/cortex/gic.c	Fri Sep 14 03:52:50 2012
@@ -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 @@ armgic_irq_handler(void *tf)
 
 		//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.

Reply via email to