Searched refs:GUEST_RSP (Results 1 – 5 of 5) sorted by relevance
63 SHADOW_FIELD_RW(GUEST_RSP, guest_rsp)
136 FIELD(GUEST_RSP, guest_rsp),
17 EVMCS1_FIELD(GUEST_RSP, guest_rsp,
2460 vcpu->arch.regs[VCPU_REGS_RSP] = vmcs_readl(GUEST_RSP); in vmx_cache_reg()6218 vmcs_readl(GUEST_RSP), vmcs_readl(GUEST_RIP)); in dump_vmcs()7292 vmcs_writel(GUEST_RSP, vcpu->arch.regs[VCPU_REGS_RSP]); in vmx_vcpu_run()
366 GUEST_RSP = 0x0000681c, enumerator
Completed in 21 milliseconds