#ifdef __KERNEL__
  #ifndef __ASM_HARDIRQ_H
  #define __ASM_HARDIRQ_H
  
  #include <asm/irq.h>
  #include <asm-generic/hardirq.h>
  
  #endif /* __ASM_HARDIRQ_H */
  #endif /* __KERNEL__ */