<dec f='src/src/sys/arch/x86/include/cpuvar.h' l='104' type='void x86_self_ipi(int )'/>
