#ifndef DDEKIT_IRQ_MINIX_H
#define DDEKIT_IRQ_MINIX_H 1 
_PROTOTYPE( void ddekit_init_irqs,          (void)         );
_PROTOTYPE( void _ddekit_interrupt_trigger, (int irq_hook) );
#endif