1433d6423SLionel Sambuc #ifndef __HW_INTR_ARM_H__ 2433d6423SLionel Sambuc #define __HW_INTR_ARM_H__ 3433d6423SLionel Sambuc 4433d6423SLionel Sambuc 5433d6423SLionel Sambuc #include "kernel/kernel.h" 6433d6423SLionel Sambuc void irq_handle(int irq); 7433d6423SLionel Sambuc 83c8950ccSBen Gras void hw_intr_mask(int irq); 93c8950ccSBen Gras void hw_intr_unmask(int irq); 103c8950ccSBen Gras void hw_intr_ack(int irq); 113c8950ccSBen Gras void hw_intr_used(int irq); 123c8950ccSBen Gras void hw_intr_not_used(int irq); 13*6077d1adSDr. Florian Grätz void hw_intr_disable_all(void); 14433d6423SLionel Sambuc 15433d6423SLionel Sambuc #endif /* __HW_INTR_ARM_H__ */ 16