<dec f='src/src/sys/arch/x86/include/intr.h' l='203' type='int x86_send_ipi(struct cpu_info * , int )'/>
<use f='src/src/sys/arch/x86/x86/cpu.c' l='1328' u='c' c='cpu_kick'/>
<use f='src/src/sys/arch/x86/x86/fpu.c' l='495' u='c' c='fpusave_lwp'/>
<def f='src/src/sys/arch/x86/x86/ipi.c' l='98' ll='118' type='int x86_send_ipi(struct cpu_info * ci, int ipimask)'/>
<use f='src/src/sys/arch/x86/x86/ipi.c' l='229' u='c' c='xc_send_ipi'/>
<use f='src/src/sys/arch/x86/x86/ipi.c' l='244' u='c' c='cpu_ipi'/>
<doc f='src/src/sys/arch/x86/x86/ipi.c' l='94'>/*
 * x86 IPI interface.
 */</doc>
<use f='src/src/sys/arch/x86/x86/x86_machdep.c' l='291' u='c' c='cpu_need_resched'/>
