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>
9 /* number of IPIS _not_ including IPI_CPU_BACKTRACE */
13 unsigned int __softirq_pending
;
15 unsigned int ipi_irqs
[NR_IPI
];
17 } ____cacheline_aligned irq_cpustat_t
;
19 #include <linux/irq_cpustat.h> /* Standard mappings for irq_cpustat_t above */
21 #define __inc_irq_stat(cpu, member) __IRQ_STAT(cpu, member)++
22 #define __get_irq_stat(cpu, member) __IRQ_STAT(cpu, member)
25 u64
smp_irq_stat_cpu(unsigned int cpu
);
27 #define smp_irq_stat_cpu(cpu) 0
30 #define arch_irq_stat_cpu smp_irq_stat_cpu
32 #define __ARCH_IRQ_EXIT_IRQS_DISABLED 1
34 #endif /* __ASM_HARDIRQ_H */