Searched refs:GUEST_RSP (Results 1 – 2 of 2) sorted by relevance
270 GUEST_RSP = 0x0000681c, enumerator
601 GUEST_RSP,751 FIELD(GUEST_RSP, guest_rsp),2839 vcpu->arch.regs[VCPU_REGS_RSP] = vmcs_readl(GUEST_RSP); in vmx_cache_reg()8191 vmcs_writel(GUEST_RSP, vcpu->arch.regs[VCPU_REGS_RSP]); in vmx_vcpu_run()