linux/arch/csky/kernel/irq.c
<<
>>
Prefs
   1// SPDX-License-Identifier: GPL-2.0
   2// Copyright (C) 2018 Hangzhou C-SKY Microsystems co.,ltd.
   3
   4#include <linux/init.h>
   5#include <linux/interrupt.h>
   6#include <linux/irq.h>
   7#include <linux/irqchip.h>
   8#include <asm/traps.h>
   9#include <asm/smp.h>
  10
  11void __init init_IRQ(void)
  12{
  13        irqchip_init();
  14#ifdef CONFIG_SMP
  15        setup_smp_ipi();
  16#endif
  17}
  18
  19asmlinkage void __irq_entry csky_do_IRQ(struct pt_regs *regs)
  20{
  21        handle_arch_irq(regs);
  22}
  23