arch/ia64/include/asm/hardirq.h

   1 /* SPDX-License-Identifier: GPL-2.0 */
   2 #ifndef _ASM_IA64_HARDIRQ_H
   3 #define _ASM_IA64_HARDIRQ_H
   4
   5 /*
   6  * Modified 1998-2002, 2004 Hewlett-Packard Co
   7  *      David Mosberger-Tang <davidm@hpl.hp.com>
   8  */
   9
  10 /*
  11  * No irq_cpustat_t for IA-64.  The data is held in the per-CPU data structure.
  12  */
  13
  14 #define __ARCH_IRQ_STAT 1
  15
  16 #define local_softirq_pending_ref       ia64_cpu_info.softirq_pending
  17
  18 #include <linux/threads.h>
  19 #include <linux/irq.h>
  20
  21 #include <asm/processor.h>
  22
  23 extern void __iomem *ipi_base_addr;
  24
  25 void ack_bad_irq(unsigned int irq);
  26
  27 #endif /* _ASM_IA64_HARDIRQ_H */