arch/riscv/kernel/irq.c

   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
  13 int arch_show_interrupts(struct seq_file *p, int prec)
  14 {
  15         show_ipi_stats(p, prec);
  16         return 0;
  17 }
  18
  19 void __init init_IRQ(void)
  20 {
  21         irqchip_init();
  22         if (!handle_arch_irq)
  23                 panic("No interrupt controller found.");
  24 }