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