Symbol: X86_IPI_GENERIC
sys/arch/x86/x86/ipi.c
262
x86_send_ipi(ci, X86_IPI_GENERIC);
sys/arch/x86/x86/ipi.c
265
x86_broadcast_ipi(X86_IPI_GENERIC);