Symbol: alpha_ipi_synch_fpu
sys/arch/alpha/alpha/ipifuncs.c
57
void alpha_ipi_synch_fpu(struct cpu_info *, struct trapframe *);
sys/arch/alpha/alpha/ipifuncs.c
70
alpha_ipi_synch_fpu,