Symbol: intr_send_ipi
sys/arch/powerpc64/powerpc64/intr.c
415
intr_send_ipi(struct cpu_info *ci, int reason)
sys/arch/riscv64/riscv64/intr.c
740
intr_send_ipi(struct cpu_info *ci, int reason)