Symbol: i386_ipi_synch_fpu
sys/arch/i386/i386/ipifuncs.c
56
void i386_ipi_synch_fpu(struct cpu_info *);
sys/arch/i386/i386/ipifuncs.c
74
i386_ipi_synch_fpu,