Home
last modified time | relevance | path

Searched refs:VMX_EPT_POINTER_FULL (Results 1 – 4 of 4) sorted by relevance

/hypervisor/arch/x86/guest/
A Dtrusty.c241 exec_vmwrite64(VMX_EPT_POINTER_FULL, in switch_world()
249 exec_vmwrite64(VMX_EPT_POINTER_FULL, in switch_world()
380 exec_vmwrite64(VMX_EPT_POINTER_FULL, in initialize_trusty()
A Dnested.c955 || (vmcs_field == VMX_EPT_POINTER_FULL) in vmwrite_vmexit_handler()
961 if (vmcs_field == VMX_EPT_POINTER_FULL) { in vmwrite_vmexit_handler()
1007 exec_vmwrite(VMX_EPT_POINTER_FULL, get_shadow_eptp(vmcs12->ept_pointer)); in merge_and_sync_control_fields()
A Dvmcs.c410 exec_vmwrite64(VMX_EPT_POINTER_FULL, value64); in init_exec_ctrl()
/hypervisor/include/arch/x86/asm/
A Dvmx.h57 #define VMX_EPT_POINTER_FULL 0x0000201AU macro

Completed in 16 milliseconds