irq.c 492 B

123456789101112131415161718192021222324
  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. #include <linux/interrupt.h>
  8. #include <linux/irqchip.h>
  9. #include <linux/seq_file.h>
  10. #include <asm/smp.h>
  11. int arch_show_interrupts(struct seq_file *p, int prec)
  12. {
  13. show_ipi_stats(p, prec);
  14. return 0;
  15. }
  16. void __init init_IRQ(void)
  17. {
  18. irqchip_init();
  19. if (!handle_arch_irq)
  20. panic("No interrupt controller found.");
  21. }