Symbol: x86_send_ipi
sys/arch/x86/x86/ipi.c
100
x86_send_ipi(struct cpu_info *ci, int ipimask)
sys/arch/x86/x86/ipi.c
272
x86_send_ipi(struct cpu_info *ci, int ipimask)