2007-10-11 11:20:03 +02:00
|
|
|
#ifdef CONFIG_X86_32
|
|
|
|
|
# include "hardirq_32.h"
|
|
|
|
|
#else
|
|
|
|
|
# include "hardirq_64.h"
|
|
|
|
|
#endif
|
2008-05-12 15:44:41 +02:00
|
|
|
|
|
|
|
|
extern u64 arch_irq_stat_cpu(unsigned int cpu);
|
|
|
|
|
#define arch_irq_stat_cpu arch_irq_stat_cpu
|
|
|
|
|
|
|
|
|
|
extern u64 arch_irq_stat(void);
|
|
|
|
|
#define arch_irq_stat arch_irq_stat
|
