1 // SPDX-License-Identifier: GPL-2.0
3 * Copyright (C) 2012 Regents of the University of California
4 * Copyright (C) 2017 SiFive
5 * Copyright (C) 2018 Christoph Hellwig
8 #include <linux/interrupt.h>
9 #include <linux/irqchip.h>
10 #include <linux/irqdomain.h>
11 #include <linux/module.h>
12 #include <linux/seq_file.h>
15 static struct fwnode_handle *(*__get_intc_node)(void);
17 void riscv_set_intc_hwnode_fn(struct fwnode_handle *(*fn)(void))
22 struct fwnode_handle *riscv_get_intc_hwnode(void)
25 return __get_intc_node();
29 EXPORT_SYMBOL_GPL(riscv_get_intc_hwnode);
31 int arch_show_interrupts(struct seq_file *p, int prec)
33 show_ipi_stats(p, prec);
37 void __init init_IRQ(void)
41 panic("No interrupt controller found.");