Searched refs:VMX_GUEST_IA32_SYSENTER_ESP (Results 1 – 4 of 4) sorted by relevance
130 ext_ctx->ia32_sysenter_esp = exec_vmread(VMX_GUEST_IA32_SYSENTER_ESP); in save_world_ctx()184 exec_vmwrite(VMX_GUEST_IA32_SYSENTER_ESP, ext_ctx->ia32_sysenter_esp); in load_world_ctx()
63 exec_vmwrite(VMX_GUEST_IA32_SYSENTER_ESP, 0UL); in init_guest_vmx()
375 VMX_GUEST_IA32_SYSENTER_ESP,1348 exec_vmwrite(VMX_GUEST_IA32_SYSENTER_ESP, vmcs12->host_ia32_sysenter_esp); in set_vmcs01_guest_state()
202 #define VMX_GUEST_IA32_SYSENTER_ESP 0x00006824U macro
Completed in 9 milliseconds