1 #ifndef __HW_INTR_ARM_H__ 2 #define __HW_INTR_ARM_H__ 3 4 5 #include "kernel/kernel.h" 6 void irq_handle(int irq); 7 8 int hw_intr_mask(int irq); 9 int hw_intr_unmask(int irq); 10 int hw_intr_ack(int irq); 11 int hw_intr_used(int irq); 12 int hw_intr_not_used(int irq); 13 int hw_intr_disable_all(); 14 15 #endif /* __HW_INTR_ARM_H__ */ 16