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

/fuchsia/zircon/kernel/arch/x86/hypervisor/
H A Dvcpu_priv.h185 GUEST_RIP = 0x681e, member in class:VmcsFieldXX
H A Dvcpu.cpp558 // Use GUEST_RIP to set the entry point on the BSP.
561 vmcs.Write(VmcsFieldXX::GUEST_RIP, entry);
566 vmcs.Write(VmcsFieldXX::GUEST_RIP, 0);
751 ktrace_vcpu_exit(VCPU_FAILURE, vmcs.Read(VmcsFieldXX::GUEST_RIP));
H A Dvmexit.cpp70 guest_rip = vmcs.Read(VmcsFieldXX::GUEST_RIP);
136 vmcs->Write(VmcsFieldXX::GUEST_RIP, exit_info.guest_rip + exit_info.exit_instruction_length);

Completed in 27 milliseconds