bundletype OSEnvIRQ_T =

{ include "${OSKITDIR}/oskit/dev/dev.h" osenv_irq_alloc osenv_irq_free osenv_irq_enable osenv_irq_disable osenv_irq_pending }

C types:

int osenv_irq_alloc(int irq,void (*handler)(void *),void *data,int flags);
void osenv_irq_free(int irq,void (*handler)(void *),void *data);
void osenv_irq_disable(int irq);
void osenv_irq_enable(int irq);
int osenv_irq_pending(int irq);