Symbol: vmx_vcpu_guest_fpu_leave
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
2349
vmx_vcpu_guest_fpu_leave(vcpu);
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
2363
vmx_vcpu_guest_fpu_leave(vcpu);
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
2379
vmx_vcpu_guest_fpu_leave(vcpu);