Searched refs:ept_pointer (Results 1 – 10 of 10) sorted by relevance
47 u64 ept_pointer; member234 CHECK_OFFSET(ept_pointer, 120); in vmx_check_vmcs12_offsets()
79 return get_vmcs12(vcpu)->ept_pointer; in nested_ept_get_eptp()
44 FIELD64(EPT_POINTER, ept_pointer),
303 u64 ept_pointer; member
126 EVMCS1_FIELD(EPT_POINTER, ept_pointer,
544 tmp_eptp = to_vmx(vcpu)->ept_pointer; in check_ept_pointer_match()545 } else if (tmp_eptp != to_vmx(vcpu)->ept_pointer) { in check_ept_pointer_match()567 u64 ept_pointer = to_vmx(vcpu)->ept_pointer; in __hv_remote_flush_tlb_with_range() local575 return hyperv_flush_guest_mapping_range(ept_pointer & PAGE_MASK, in __hv_remote_flush_tlb_with_range()578 return hyperv_flush_guest_mapping(ept_pointer & PAGE_MASK); in __hv_remote_flush_tlb_with_range()595 if (VALID_PAGE(to_vmx(vcpu)->ept_pointer)) in hv_remote_flush_tlb_with_range()3175 to_vmx(vcpu)->ept_pointer = eptp; in vmx_load_mmu_pgd()7091 vmx->ept_pointer = INVALID_PAGE; in vmx_create_vcpu()
1770 vmcs12->ept_pointer = evmcs->ept_pointer; in copy_enlightened_to_vmcs12()2749 CC(!nested_vmx_check_eptp(vcpu, vmcs12->ept_pointer))) in nested_check_vm_execution_controls()5554 if (vmcs12->ept_pointer != new_eptp) { in nested_vmx_eptp_switching()5558 vmcs12->ept_pointer = new_eptp; in nested_vmx_eptp_switching()
159 u64 ept_pointer; member416 *value = current_evmcs->ept_pointer; in evmcs_vmread()803 current_evmcs->ept_pointer = value; in evmcs_vmwrite()
438 u64 ept_pointer; member
102 u64 ept_pointer;