Symbol: vmx_vcpu_state_commit
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2406
vmx_vcpu_state_commit(vcpu);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
599
static void vmx_vcpu_state_commit(struct nvmm_cpu *);