<dec f='src/src/sys/arch/xen/include/intr.h' l='182' type='int xen_send_ipi(struct cpu_info * , __uint32_t )'/>
<use f='src/src/sys/arch/x86/x86/fpu.c' l='490' u='c' c='fpusave_lwp'/>
<use f='src/src/sys/arch/xen/x86/cpu.c' l='1288' u='c' c='cpu_kick'/>
<use f='src/src/sys/arch/xen/x86/hypervisor_machdep.c' l='313' u='c' c='hypervisor_send_event'/>
<use f='src/src/sys/arch/xen/x86/hypervisor_machdep.c' l='356' u='c' c='hypervisor_unmask_event'/>
<use f='src/src/sys/arch/xen/x86/hypervisor_machdep.c' l='441' u='c' c='hypervisor_set_ipending'/>
<def f='src/src/sys/arch/xen/x86/xen_ipi.c' l='151' ll='171' type='int xen_send_ipi(struct cpu_info * ci, __uint32_t ipimask)'/>
<use f='src/src/sys/arch/xen/x86/xen_ipi.c' l='197' u='c' c='xen_broadcast_ipi'/>
<use f='src/src/sys/arch/xen/x86/xen_ipi.c' l='284' u='c' c='xc_send_ipi'/>
<use f='src/src/sys/arch/xen/x86/xen_ipi.c' l='307' u='c' c='cpu_ipi'/>
