1 #ifndef __HW_INTR_ARM_H__
2 #define __HW_INTR_ARM_H__
5 #include "kernel/kernel.h"
6 void irq_handle(int irq
);
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();
15 #endif /* __HW_INTR_ARM_H__ */
