Searched refs:GUEST_IA32_SYSENTER_ESP (Results 1 - 2 of 2) sorted by relevance
/fuchsia/zircon/kernel/arch/x86/hypervisor/ | ||
H A D | vcpu_priv.h | 188 GUEST_IA32_SYSENTER_ESP = 0x6824, member in class:VmcsFieldXX |
H A D | vcpu.cpp | 597 vmcs.Write(VmcsFieldXX::GUEST_IA32_SYSENTER_ESP, 0); |
Completed in 43 milliseconds