Home
last modified time | relevance | path

Searched refs:ept_pointer (Results 1 – 3 of 3) sorted by relevance

/hypervisor/arch/x86/guest/
A Dnested.c962 if (cur_vvmcs->vmcs12.ept_pointer != vmcs_value) { in vmwrite_vmexit_handler()
963 put_vept_desc(cur_vvmcs->vmcs12.ept_pointer); in vmwrite_vmexit_handler()
1007 exec_vmwrite(VMX_EPT_POINTER_FULL, get_shadow_eptp(vmcs12->ept_pointer)); in merge_and_sync_control_fields()
1139 put_vept_desc(vvmcs->vmcs12.ept_pointer); in clear_vvmcs()
1192 get_vept_desc(vvmcs->vmcs12.ept_pointer); in vmptrld_vmexit_handler()
A Dvept.c396 uint64_t guest_eptp = vcpu->arch.nested.current_vvmcs->vmcs12.ept_pointer; in handle_l2_ept_violation()
/hypervisor/include/arch/x86/asm/guest/
A Dnested.h165 uint64_t ept_pointer; member

Completed in 11 milliseconds