1#ifdef CONFIG_X86_32 2# include "hardirq_32.h" 3#else 4# include "hardirq_64.h" 5#endif 6 7extern u64 arch_irq_stat_cpu(unsigned int cpu); 8#define arch_irq_stat_cpu arch_irq_stat_cpu 9 10extern u64 arch_irq_stat(void); 11#define arch_irq_stat arch_irq_stat 12