Searched refs:ept_pointer (Results 1 – 4 of 4) sorted by relevance
121 EVMCS1_FIELD(EPT_POINTER, ept_pointer,
453 u64 ept_pointer; member618 CHECK_OFFSET(ept_pointer, 120); in vmx_check_vmcs12_offsets()1045 u64 ept_pointer; member1126 FIELD64(EPT_POINTER, ept_pointer),1550 tmp_eptp = to_vmx(vcpu)->ept_pointer; in check_ept_pointer_match()1551 } else if (tmp_eptp != to_vmx(vcpu)->ept_pointer) { in check_ept_pointer_match()1580 to_vmx(kvm_get_vcpu(kvm, 0))->ept_pointer & PAGE_MASK); in vmx_hv_remote_flush_tlb()5334 to_vmx(vcpu)->ept_pointer = eptp; in vmx_set_cr3()9290 if (vmcs12->ept_pointer != address) { in nested_vmx_eptp_switching()9297 vmcs12->ept_pointer = address; in nested_vmx_eptp_switching()[all …]
646 u64 ept_pointer; member
97 u64 ept_pointer;
