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