<dec f='src/src/sys/arch/x86/include/intr.h' l='132' type='void softintr(int )'/>
