arch_irq_stat
extern u64 arch_irq_stat(void);
#define arch_irq_stat arch_irq_stat
sum += arch_irq_stat();
#ifndef arch_irq_stat