bundletype OSEnvRealtimeIRQ_T =

{ extends OSEnvIRQ_T include "${OSKITDIR}/oskit/dev/dev.h" osenv_irq_schedule }

C types:

void osenv_irq_schedule(int irq);