1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef __ASM_HARDIRQ_H
3 #define __ASM_HARDIRQ_H
5 #include <linux/cache.h>
6 #include <linux/threads.h>
12 unsigned int __softirq_pending
;
14 unsigned int ipi_irqs
[NR_IPI
];
16 } ____cacheline_aligned irq_cpustat_t
;
18 #include <linux/irq_cpustat.h> /* Standard mappings for irq_cpustat_t above */
20 #define __inc_irq_stat(cpu, member) __IRQ_STAT(cpu, member)++
21 #define __get_irq_stat(cpu, member) __IRQ_STAT(cpu, member)
24 u64
smp_irq_stat_cpu(unsigned int cpu
);
26 #define smp_irq_stat_cpu(cpu) 0
29 #define arch_irq_stat_cpu smp_irq_stat_cpu
31 #define __ARCH_IRQ_EXIT_IRQS_DISABLED 1
33 #endif /* __ASM_HARDIRQ_H */