Symbol: cpu_xcall_ipi
sys/arch/amd64/include/intr.h
226
#define cpu_xcall_ipi(_ci) x86_send_ipi((_ci), X86_IPI_XCALL)
sys/arch/arm64/include/intr.h
207
#define cpu_xcall_ipi(_ci) arm_send_ipi((_ci), ARM_IPI_XCALL)