linux/arch/riscv/kernel/irq.c
<<
>>
Prefs
   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}
  25