<dec f='src/src/sys/arch/x86/include/intr.h' l='204' type='void x86_broadcast_ipi(int )'/>
<use f='src/src/sys/arch/x86/acpi/acpi_wakeup.c' l='311' u='c' c='acpi_md_sleep'/>
<use f='src/src/sys/arch/x86/x86/cpu.c' l='1318' u='c' c='cpu_broadcast_halt'/>
<def f='src/src/sys/arch/x86/x86/ipi.c' l='120' ll='139' type='void x86_broadcast_ipi(int ipimask)'/>
<use f='src/src/sys/arch/x86/x86/ipi.c' l='232' u='c' c='xc_send_ipi'/>
<use f='src/src/sys/arch/x86/x86/ipi.c' l='247' u='c' c='cpu_ipi'/>
<use f='src/src/sys/arch/x86/x86/mtrr_i686.c' l='770' u='c' c='i686_mtrr_commit'/>
