Searched defs:vmcs_loaded (Results 1 – 1 of 1) sorted by relevance
3108 bool vmcs_loaded = vmx_vmcs_access_ensure(vmx, vcpu); in vmx_getreg() local3156 bool vmcs_loaded = vmx_vmcs_access_ensure(vmx, vcpu); in vmx_setreg() local3235 bool vmcs_loaded = vmx_vmcs_access_ensure(vmx, vcpu); in vmx_getdesc() local3258 bool vmcs_loaded = vmx_vmcs_access_ensure(vmx, vcpu); in vmx_setdesc() local3311 bool vmcs_loaded = vmx_vmcs_access_ensure(vmx, vcpu); in vmx_msr_get() local3339 bool vmcs_loaded = vmx_vmcs_access_ensure(vmx, vcpu); in vmx_msr_set() local