<dec f='src/src/sys/sys/intr.h' l='59' type='void softint_trigger(__uintptr_t )'/>
<use f='src/src/sys/arch/x86/x86/ipi.c' l='201' u='c' c='x86_ipi_kpreempt'/>
<use f='src/src/sys/arch/x86/x86/x86_machdep.c' l='289' u='c' c='cpu_need_resched'/>
<use f='src/src/sys/arch/x86/x86/x86_machdep.c' l='357' u='c' c='cpu_kpreempt_enter'/>
<use f='src/src/sys/kern/kern_softint.c' l='503' u='c' c='softint_schedule'/>
