unit osenv_softirq = {

imports[ intr : OSEnvIntr_T log : OSEnvLog_T mem : OSEnvMem_T panic : Panic_T softint : SoftInt_T irq : IRQ_T ]; exports[ out : OSEnvSoftIRQ_T ]; ...

}