Symbol: ipi_drop_fpstate
sys/arch/sparc64/sparc64/vm_machdep.c
221
void ipi_drop_fpstate(void);
sys/arch/sparc64/sparc64/vm_machdep.c
261
save ? ipi_save_fpstate : ipi_drop_fpstate, (vaddr_t)p, 0);