Symbol: restore_fpu_curthread
sys/amd64/amd64/fpu.c
812
restore_fpu_curthread(td);
sys/amd64/amd64/fpu.c
826
restore_fpu_curthread(td);