xref: /minix3/minix/lib/libddekit/src/irq.h (revision 187bd3cde6b9003b582b751ca685e3b13b65892b) 
1 #ifndef DDEKIT_IRQ_MINIX_H
2 #define DDEKIT_IRQ_MINIX_H 1
3 void ddekit_init_irqs(void);
4 void _ddekit_interrupt_trigger(int irq_id);
5 #endif
6