unit osenv_irq = {

imports[ base_irq : { base_irq_default_handler base_irq_handlers } log : OSEnvLog_T mem : OSEnvMem_T pic : PIC_T ]; exports[ out : OSEnvIRQ_T ]; ...

}