<dec f='src/src/sys/sys/xcall.h' l='43' type='void xc_send_ipi(struct cpu_info * )'/>
<def f='src/src/sys/arch/xen/x86/xen_ipi.c' l='277' ll='290' 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'/>
