Searched refs:evmcs_gpa (Results 1 – 1 of 1) sorted by relevance
2006 u64 evmcs_gpa; in nested_vmx_handle_enlightened_vmptrld() local2011 evmcs_gpa = nested_get_evmptr(vcpu); in nested_vmx_handle_enlightened_vmptrld()2012 if (!evmptr_is_valid(evmcs_gpa)) { in nested_vmx_handle_enlightened_vmptrld()2017 if (unlikely(evmcs_gpa != vmx->nested.hv_evmcs_vmptr)) { in nested_vmx_handle_enlightened_vmptrld()2022 if (kvm_vcpu_map(vcpu, gpa_to_gfn(evmcs_gpa), in nested_vmx_handle_enlightened_vmptrld()2056 vmx->nested.hv_evmcs_vmptr = evmcs_gpa; in nested_vmx_handle_enlightened_vmptrld()