Symbol: vmx_vmcs_access_done
usr/src/uts/intel/io/vmm/intel/vmx.c
3129
vmx_vmcs_access_done(vmx, vcpu);
usr/src/uts/intel/io/vmm/intel/vmx.c
3214
vmx_vmcs_access_done(vmx, vcpu);
usr/src/uts/intel/io/vmm/intel/vmx.c
3237
vmx_vmcs_access_done(vmx, vcpu);
usr/src/uts/intel/io/vmm/intel/vmx.c
3258
vmx_vmcs_access_done(vmx, vcpu);
usr/src/uts/intel/io/vmm/intel/vmx.c
3306
vmx_vmcs_access_done(vmx, vcpu);
usr/src/uts/intel/io/vmm/intel/vmx.c
3338
vmx_vmcs_access_done(vmx, vcpu);
usr/src/uts/intel/io/vmm/intel/vmx.c
3816
vmx_vmcs_access_done(vmx, vcpuid);