Searched refs:ept_pointer (Results 1 – 8 of 8) sorted by relevance
47 u64 ept_pointer; member231 CHECK_OFFSET(ept_pointer, 120); in vmx_check_vmcs12_offsets()
80 return get_vmcs12(vcpu)->ept_pointer; in nested_ept_get_eptp()
45 FIELD64(EPT_POINTER, ept_pointer),
121 EVMCS1_FIELD(EPT_POINTER, ept_pointer,
455 nested_ept_invalidate_addr(vcpu, vmcs12->ept_pointer, in nested_ept_inject_page_fault()1830 vmcs12->ept_pointer = evmcs->ept_pointer; in copy_enlightened_to_vmcs12()2876 CC(!nested_vmx_check_eptp(vcpu, vmcs12->ept_pointer))) in nested_check_vm_execution_controls()3513 vmcs12->ept_pointer, in nested_vmx_enter_non_root_mode()6036 if (vmcs12->ept_pointer != new_eptp) { in nested_vmx_eptp_switching()6040 vmcs12->ept_pointer = new_eptp; in nested_vmx_eptp_switching()
153 u64 ept_pointer; member436 *value = current_evmcs->ept_pointer; in evmcs_vmread()886 current_evmcs->ept_pointer = value; in evmcs_vmwrite()
560 u64 ept_pointer; member
104 u64 ept_pointer;
Completed in 56 milliseconds