Symbol: kthread_fpu_exit
sys/kern/subr_workqueue.c
204
kthread_fpu_exit(s);
sys/sys/kthread.h
60
void kthread_fpu_exit(int);