Symbol: kthread_fpu_exit
sys/kern/kern_kthread.c
273
kthread_fpu_exit(int s)
sys/rump/librump/rumpkern/threads.c
265
kthread_fpu_exit(int s)