Searched refs:ept_pointer (Results 1 – 8 of 8) sorted by relevance
47 u64 ept_pointer; member237 CHECK_OFFSET(ept_pointer, 120); in vmx_check_vmcs12_offsets()
65 return get_vmcs12(vcpu)->ept_pointer; in nested_ept_get_cr3()
44 FIELD64(EPT_POINTER, ept_pointer),
124 EVMCS1_FIELD(EPT_POINTER, ept_pointer,
283 u64 ept_pointer; member
526 tmp_eptp = to_vmx(vcpu)->ept_pointer; in check_ept_pointer_match()527 } else if (tmp_eptp != to_vmx(vcpu)->ept_pointer) { in check_ept_pointer_match()549 u64 ept_pointer = to_vmx(vcpu)->ept_pointer; in __hv_remote_flush_tlb_with_range() local557 return hyperv_flush_guest_mapping_range(ept_pointer & PAGE_MASK, in __hv_remote_flush_tlb_with_range()560 return hyperv_flush_guest_mapping(ept_pointer & PAGE_MASK); in __hv_remote_flush_tlb_with_range()577 if (VALID_PAGE(to_vmx(vcpu)->ept_pointer)) in hv_remote_flush_tlb_with_range()3088 to_vmx(vcpu)->ept_pointer = eptp; in vmx_set_cr3()6884 vmx->ept_pointer = INVALID_PAGE; in vmx_create_vcpu()
1586 vmcs12->ept_pointer = evmcs->ept_pointer; in copy_enlightened_to_vmcs12()2545 CC(!valid_ept_address(vcpu, vmcs12->ept_pointer))) in nested_check_vm_execution_controls()5079 if (vmcs12->ept_pointer != address) { in nested_vmx_eptp_switching()5086 vmcs12->ept_pointer = address; in nested_vmx_eptp_switching()
685 u64 ept_pointer; member