sys/arch/amd64/amd64/db_interface.c

314

x86_send_ipi(cpu_info[i], X86_IPI_DDB);

sys/arch/amd64/amd64/db_interface.c

384

x86_send_ipi(cpu_info[cpu], X86_IPI_DDB);

sys/arch/amd64/amd64/machdep.c

862

x86_send_ipi(ci, X86_IPI_NOP);

sys/arch/amd64/amd64/machdep.c

868

x86_send_ipi(ci, X86_IPI_NOP);

sys/arch/amd64/amd64/machdep.c

899

x86_send_ipi(ci, X86_IPI_NOP);

sys/arch/amd64/amd64/vmm_machdep.c

510

x86_send_ipi(ci, X86_IPI_NOP);

sys/arch/amd64/amd64/vmm_machdep.c

882

x86_send_ipi(ci, X86_IPI_VMCLEAR_VMM);

sys/arch/amd64/include/intr.h

218

void x86_send_ipi(struct cpu_info *, int);

sys/arch/amd64/include/intr.h

226

#define cpu_xcall_ipi(_ci) x86_send_ipi((_ci), X86_IPI_XCALL)