Searched refs:GUEST_RSP (Results 1 - 3 of 3) sorted by relevance

/fuchsia/zircon/kernel/arch/x86/hypervisor/
H A Dvcpu_priv.h184 GUEST_RSP = 0x681c, member in class:VmcsFieldXX
H A Dvcpu.cpp601 vmcs.Write(VmcsFieldXX::GUEST_RSP, 0);
814 state->rsp = vmcs.Read(VmcsFieldXX::GUEST_RSP);
832 vmcs.Write(VmcsFieldXX::GUEST_RSP, state->rsp);
H A Dvmexit.cpp375 *out = vmcs->Read(VmcsFieldXX::GUEST_RSP);

Completed in 35 milliseconds