Symbol: X86_IPI_XCALL
sys/arch/x86/x86/ipi.c
247
x86_send_ipi(ci, X86_IPI_XCALL);
sys/arch/x86/x86/ipi.c
250
x86_broadcast_ipi(X86_IPI_XCALL);