1433d6423SLionel Sambuc #ifndef DDEKIT_IRQ_MINIX_H 2433d6423SLionel Sambuc #define DDEKIT_IRQ_MINIX_H 1 3433d6423SLionel Sambuc void ddekit_init_irqs(void); 4*187bd3cdSWojciech Zajac void _ddekit_interrupt_trigger(int irq_id); 5433d6423SLionel Sambuc #endif 6