Symbol: x86_ipi_synch_fpu
sys/arch/x86/x86/ipi.c
80
static void x86_ipi_synch_fpu(struct cpu_info *);
sys/arch/x86/x86/ipi.c
87
x86_ipi_synch_fpu, /* X86_IPI_SYNCH_FPU */