Searched refs:ept_pointer (Results 1 – 10 of 10) sorted by relevance
47 u64 ept_pointer; member237 CHECK_OFFSET(ept_pointer, 120); in vmx_check_vmcs12_offsets()
64 return get_vmcs12(vcpu)->ept_pointer; in nested_ept_get_cr3()
44 FIELD64(EPT_POINTER, ept_pointer),
124 EVMCS1_FIELD(EPT_POINTER, ept_pointer,
284 u64 ept_pointer; member
468 tmp_eptp = to_vmx(vcpu)->ept_pointer; in check_ept_pointer_match()469 } else if (tmp_eptp != to_vmx(vcpu)->ept_pointer) { in check_ept_pointer_match()491 u64 ept_pointer = to_vmx(vcpu)->ept_pointer; in __hv_remote_flush_tlb_with_range() local499 return hyperv_flush_guest_mapping_range(ept_pointer & PAGE_MASK, in __hv_remote_flush_tlb_with_range()502 return hyperv_flush_guest_mapping(ept_pointer & PAGE_MASK); in __hv_remote_flush_tlb_with_range()519 if (VALID_PAGE(to_vmx(vcpu)->ept_pointer)) in hv_remote_flush_tlb_with_range()3008 to_vmx(vcpu)->ept_pointer = eptp; in vmx_set_cr3()6813 vmx->ept_pointer = INVALID_PAGE; in vmx_create_vcpu()
1581 vmcs12->ept_pointer = evmcs->ept_pointer; in copy_enlightened_to_vmcs12()2528 CC(!valid_ept_address(vcpu, vmcs12->ept_pointer))) in nested_check_vm_execution_controls()5067 if (vmcs12->ept_pointer != address) { in nested_vmx_eptp_switching()5074 vmcs12->ept_pointer = address; in nested_vmx_eptp_switching()
157 u64 ept_pointer; member414 *value = current_evmcs->ept_pointer; in evmcs_vmread()801 current_evmcs->ept_pointer = value; in evmcs_vmwrite()
685 u64 ept_pointer; member
97 u64 ept_pointer;
