Searched refs:GUEST_RSP (Results 1 – 4 of 4) sorted by relevance
267 GUEST_RSP = 0x0000681c, enumerator
282 case GUEST_RSP: in evmcs_vmread()682 case GUEST_RSP: in evmcs_vmwrite()
361 vmwrite(GUEST_RSP, (u64)rsp); in init_vmcs_guest_state()
2631 vcpu->arch.regs[VCPU_REGS_RSP] = vmcs_readl(GUEST_RSP); in vmx_cache_reg() 6538 vmcs_readl(GUEST_RSP), vmcs_readl(GUEST_RIP)); in dump_vmcs() 7548 vmcs_writel(GUEST_RSP, vcpu->arch.regs[VCPU_REGS_RSP]); in vmx_vcpu_run()