Symbol: x86_curthread_restore_fpu
sys/dev/virtual/nvmm/x86/nvmm_x86_internal.h
188
#define x86_curthread_restore_fpu() fpu_kern_leave()
sys/dev/virtual/nvmm/x86/nvmm_x86_internal.h
193
#define x86_curthread_restore_fpu() /* TODO */