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