Searched refs:VMX_GUEST_IA32_SYSENTER_EIP (Results 1 – 4 of 4) sorted by relevance
131 ext_ctx->ia32_sysenter_eip = exec_vmread(VMX_GUEST_IA32_SYSENTER_EIP); in save_world_ctx()185 exec_vmwrite(VMX_GUEST_IA32_SYSENTER_EIP, ext_ctx->ia32_sysenter_eip); in load_world_ctx()
64 exec_vmwrite(VMX_GUEST_IA32_SYSENTER_EIP, 0UL); in init_guest_vmx()
376 VMX_GUEST_IA32_SYSENTER_EIP1349 exec_vmwrite(VMX_GUEST_IA32_SYSENTER_EIP, vmcs12->host_ia32_sysenter_eip); in set_vmcs01_guest_state()
203 #define VMX_GUEST_IA32_SYSENTER_EIP 0x00006826U macro
Completed in 10 milliseconds