<dec f='src/src/sys/sys/xcall.h' l='43' type='void xc_send_ipi(struct cpu_info * )'/>
<def f='src/src/sys/arch/x86/x86/ipi.c' l='220' ll='234' type='void xc_send_ipi(struct cpu_info * ci)'/>
<use f='src/src/sys/kern/subr_xcall.c' l='409' u='c' c='xc_highpri'/>
<use f='src/src/sys/kern/subr_xcall.c' l='412' u='c' c='xc_highpri'/>
