Symbol: x86_curthread_save_fpu
sys/dev/virtual/nvmm/x86/nvmm_x86_internal.h
187
#define x86_curthread_save_fpu() fpu_kern_enter()
sys/dev/virtual/nvmm/x86/nvmm_x86_internal.h
192
#define x86_curthread_save_fpu() /* TODO */