l4/pkg/linux-26-headers/include/asm-x86/hardirq.h

   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