vmx_vmcs_access_ensure

3098

bool vmcs_loaded = vmx_vmcs_access_ensure(vmx, vcpu);

3146

bool vmcs_loaded = vmx_vmcs_access_ensure(vmx, vcpu);

3225

bool vmcs_loaded = vmx_vmcs_access_ensure(vmx, vcpu);

3248

bool vmcs_loaded = vmx_vmcs_access_ensure(vmx, vcpu);

3301

bool vmcs_loaded = vmx_vmcs_access_ensure(vmx, vcpu);

3329

bool vmcs_loaded = vmx_vmcs_access_ensure(vmx, vcpu);

3802

VERIFY(vmx_vmcs_access_ensure(vmx, vcpuid));