Symbol: alpha_ipi_discard_fpu
sys/arch/alpha/alpha/ipifuncs.c
58
void alpha_ipi_discard_fpu(struct cpu_info *, struct trapframe *);
sys/arch/alpha/alpha/ipifuncs.c
71
alpha_ipi_discard_fpu,