Searched defs:vmcs_loaded (Results 1 – 1 of 1) sorted by relevance
3098 bool vmcs_loaded = vmx_vmcs_access_ensure(vmx, vcpu); in vmx_getreg() local3146 bool vmcs_loaded = vmx_vmcs_access_ensure(vmx, vcpu); in vmx_setreg() local3225 bool vmcs_loaded = vmx_vmcs_access_ensure(vmx, vcpu); in vmx_getdesc() local3248 bool vmcs_loaded = vmx_vmcs_access_ensure(vmx, vcpu); in vmx_setdesc() local3301 bool vmcs_loaded = vmx_vmcs_access_ensure(vmx, vcpu); in vmx_msr_get() local3329 bool vmcs_loaded = vmx_vmcs_access_ensure(vmx, vcpu); in vmx_msr_set() local