<dec f='src/src/sys/arch/xen/include/intr.h' l='183' type='void xen_broadcast_ipi(__uint32_t )'/>
<use f='src/src/sys/arch/amd64/amd64/db_interface.c' l='135' u='c' c='db_suspend_others'/>
<use f='src/src/sys/arch/xen/x86/cpu.c' l='1278' u='c' c='cpu_broadcast_halt'/>
<def f='src/src/sys/arch/xen/x86/xen_ipi.c' l='173' ll='204' type='void xen_broadcast_ipi(__uint32_t ipimask)'/>
<use f='src/src/sys/arch/xen/x86/xen_ipi.c' l='288' u='c' c='xc_send_ipi'/>
<use f='src/src/sys/arch/xen/x86/xen_ipi.c' l='311' u='c' c='cpu_ipi'/>
