1/*
 2 * Copyright (C) 2012 Regents of the University of California
 3 * Copyright (C) 2017 SiFive
 4 *
 5 *   This program is free software; you can redistribute it and/or
 6 *   modify it under the terms of the GNU General Public License
 7 *   as published by the Free Software Foundation, version 2.
 8 *
 9 *   This program is distributed in the hope that it will be useful,
10 *   but WITHOUT ANY WARRANTY; without even the implied warranty of
11 *   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
12 *   GNU General Public License for more details.
13 */
14
15#include <linux/interrupt.h>
16#include <linux/irqchip.h>
17#include <linux/irqdomain.h>
 
18
19#ifdef CONFIG_RISCV_INTC
20#include <linux/irqchip/irq-riscv-intc.h>
21#endif
 
 
22
23void __init init_IRQ(void)
24{
25	irqchip_init();
 
 
26}

 1// SPDX-License-Identifier: GPL-2.0
 2/*
 3 * Copyright (C) 2012 Regents of the University of California
 4 * Copyright (C) 2017 SiFive
 5 * Copyright (C) 2018 Christoph Hellwig
 
 
 
 
 
 
 
 
 6 */
 7
 8#include <linux/interrupt.h>
 9#include <linux/irqchip.h>
10#include <linux/seq_file.h>
11#include <asm/smp.h>
12
13int arch_show_interrupts(struct seq_file *p, int prec)
14{
15	show_ipi_stats(p, prec);
16	return 0;
17}
18
19void __init init_IRQ(void)
20{
21	irqchip_init();
22	if (!handle_arch_irq)
23		panic("No interrupt controller found.");
24}