238 				     struct loaded_vmcs *prev)  in vmx_sync_vmcs_host_state()
246 	dest = &vmx->loaded_vmcs->host_state;  in vmx_sync_vmcs_host_state()
256 static void vmx_switch_vmcs(struct kvm_vcpu *vcpu, struct loaded_vmcs *vmcs)  in vmx_switch_vmcs()
259 	struct loaded_vmcs *prev;  in vmx_switch_vmcs()
262 	if (WARN_ON_ONCE(vmx->loaded_vmcs == vmcs))  in vmx_switch_vmcs()
266 	prev = vmx->loaded_vmcs;  in vmx_switch_vmcs()
267 	vmx->loaded_vmcs = vmcs;  in vmx_switch_vmcs()
283 	if (WARN_ON_ONCE(vmx->loaded_vmcs != &vmx->vmcs01))  in free_nested()
1559 	vmcs_load(vmx->loaded_vmcs->vmcs);  in copy_shadow_to_vmcs12()
1595 	vmcs_load(vmx->loaded_vmcs->vmcs);  in copy_vmcs12_to_shadow()
2210 static void prepare_vmcs02_early(struct vcpu_vmx *vmx, struct loaded_vmcs *vmcs01,  in prepare_vmcs02_early()
2365 		vmx->loaded_vmcs->nmi_known_unmasked =  in prepare_vmcs02_early()
3071 	if (unlikely(cr3 != vmx->loaded_vmcs->host_state.cr3)) {  in nested_vmx_check_vmentry_hw()
3073 		vmx->loaded_vmcs->host_state.cr3 = cr3;  in nested_vmx_check_vmentry_hw()
3077 	if (unlikely(cr4 != vmx->loaded_vmcs->host_state.cr4)) {  in nested_vmx_check_vmentry_hw()
3079 		vmx->loaded_vmcs->host_state.cr4 = cr4;  in nested_vmx_check_vmentry_hw()
3083 				 vmx->loaded_vmcs->launched);  in nested_vmx_check_vmentry_hw()
4080 	WARN_ON_ONCE(vmx->loaded_vmcs != &vmx->vmcs01);  in copy_vmcs02_to_vmcs12_rare()
4083 	vmx->loaded_vmcs = &vmx->nested.vmcs02;  in copy_vmcs02_to_vmcs12_rare()
4088 	vmx->loaded_vmcs = &vmx->vmcs01;  in copy_vmcs02_to_vmcs12_rare()
4842 	struct loaded_vmcs *loaded_vmcs = vmx->loaded_vmcs;  in alloc_shadow_vmcs()  local
4850 	WARN_ON(loaded_vmcs == &vmx->vmcs01 && loaded_vmcs->shadow_vmcs);  in alloc_shadow_vmcs()
4852 	if (!loaded_vmcs->shadow_vmcs) {  in alloc_shadow_vmcs()
4853 		loaded_vmcs->shadow_vmcs = alloc_vmcs(true);  in alloc_shadow_vmcs()
4854 		if (loaded_vmcs->shadow_vmcs)  in alloc_shadow_vmcs()
4855 			vmcs_clear(loaded_vmcs->shadow_vmcs);  in alloc_shadow_vmcs()
4857 	return loaded_vmcs->shadow_vmcs;  in alloc_shadow_vmcs()
5257 			vmcs_load(vmx->loaded_vmcs->vmcs);  in handle_vmwrite()