Searched refs:ept_pointer (Results 1 – 4 of 4) sorted by relevance
150 u64 ept_pointer; member433 *value = current_evmcs->ept_pointer; in evmcs_vmread()883 current_evmcs->ept_pointer = value; in evmcs_vmwrite()
98 return get_vmcs12(vcpu)->ept_pointer; in nested_ept_get_eptp()
481 nested_ept_invalidate_addr(vcpu, vmcs12->ept_pointer, in nested_ept_init_mmu_context() 1894 vmcs12->ept_pointer = evmcs->ept_pointer; in copy_enlightened_to_vmcs12() 2001 * evmcs->ept_pointer = vmcs12->ept_pointer; in copy_vmcs12_to_enlightened() 2971 CC(!nested_vmx_check_eptp(vcpu, vmcs12->ept_pointer))) in nested_check_vm_execution_controls() 3643 vmcs12->ept_pointer, in nested_vmx_enter_non_root_mode() 6173 if (vmcs12->ept_pointer != new_eptp) { in handle_vmfunc() 6177 vmcs12->ept_pointer = new_eptp; in handle_vmfunc()
104 u64 ept_pointer;