<dec f='src/src/sys/sys/ipi.h' l='63' type='void ipi_cpu_handler()'/>
<use f='src/src/sys/arch/x86/x86/ipi.c' l='217' u='c' c='x86_ipi_generic'/>
<use f='src/src/sys/kern/subr_ipi.c' l='215' u='c' c='ipi_trigger_multi'/>
<def f='src/src/sys/kern/subr_ipi.c' l='244' ll='272' type='void ipi_cpu_handler()'/>
<doc f='src/src/sys/kern/subr_ipi.c' l='241'>/*
 * ipi_cpu_handler: the IPI handler.
 */</doc>
