Searched refs:GUEST_SYSENTER_ESP (Results 1 – 4 of 4) sorted by relevance
513 GUEST_SYSENTER_ESP = 0x00006824, enumerator
663 __vmread(GUEST_SYSENTER_ESP, &c->sysenter_esp); in vmx_vmcs_save()747 __vmwrite(GUEST_SYSENTER_ESP, c->sysenter_esp); in vmx_vmcs_restore()2957 __vmread(GUEST_SYSENTER_ESP, msr_content); in vmx_msr_read_intercept()3185 __vmwrite(GUEST_SYSENTER_ESP, msr_content); in vmx_msr_write_intercept()
934 GUEST_SYSENTER_ESP,979 {HOST_SYSENTER_ESP, GUEST_SYSENTER_ESP},
2003 vmr(GUEST_SYSENTER_ESP), in vmcs_dump_vcpu()
Completed in 20 milliseconds