Searched refs:current_evmcs (Results 1 – 3 of 3) sorted by relevance
7450 current_evmcs->hv_clean_fields |= in vmx_vcpu_run()7453 current_evmcs->hv_vp_id = kvm_hv_get_vpindex(vcpu); in vmx_vcpu_run()