Symbol: fpu_kern_ctx_savefpu
sys/amd64/amd64/fpu.c
1188
pcb->pcb_save = fpu_kern_ctx_savefpu(ctx);
sys/i386/i386/npx.c
1447
pcb->pcb_save = fpu_kern_ctx_savefpu(ctx);