x86_send_ipi - NetBSD

Symbol: x86_send_ipi

sys/arch/x86/include/intr.h

int x86_send_ipi(struct cpu_info *, int);

sys/arch/x86/x86/cpu.c

x86_send_ipi(ci, X86_IPI_AST);

sys/arch/x86/x86/ipi.c

x86_send_ipi(ci, X86_IPI_XCALL);

sys/arch/x86/x86/ipi.c

x86_send_ipi(ci, X86_IPI_GENERIC);

sys/arch/x86/x86/x86_machdep.c

x86_send_ipi(ci, X86_IPI_KPREEMPT);