hc
2023-12-11 d2ccde1c8e90d38cee87a1b0309ad2827f3fd30d
kernel/arch/arm/kernel/irq.c
....@@ -1,3 +1,4 @@
1
+// SPDX-License-Identifier: GPL-2.0-only
12 /*
23 * linux/arch/arm/kernel/irq.c
34 *
....@@ -8,10 +9,6 @@
89 * Dynamic Tick Timer written by Tony Lindgren <tony@atomide.com> and
910 * Tuukka Tikkanen <tuukka.tikkanen@elektrobit.com>.
1011 *
11
- * This program is free software; you can redistribute it and/or modify
12
- * it under the terms of the GNU General Public License version 2 as
13
- * published by the Free Software Foundation.
14
- *
1512 * This file contains the code used by various IRQ handling routines:
1613 * asking for different IRQ's should be done through these routines
1714 * instead of just grabbing them. Thus setups with different IRQ numbers
....@@ -21,7 +18,6 @@
2118 * IRQ's are in fact implemented a bit like signal handlers for the kernel.
2219 * Naturally it's not a 1:1 relation, but there are similarities.
2320 */
24
-#include <linux/kernel_stat.h>
2521 #include <linux/signal.h>
2622 #include <linux/ioport.h>
2723 #include <linux/interrupt.h>