Symbol: x86_ipi_generic
sys/arch/x86/x86/ipi.c
66
static void x86_ipi_generic(struct cpu_info *);
sys/arch/x86/x86/ipi.c
86
x86_ipi_generic, /* X86_IPI_GENERIC */