Searched refs:GUEST_RIP (Results 1 – 2 of 2) sorted by relevance
224 GUEST_RIP = 0x0000681e, enumerator
551 FIELD(GUEST_RIP, guest_rip),2235 vcpu->arch.regs[VCPU_REGS_RIP] = vmcs_readl(GUEST_RIP); in vmx_cache_reg()4479 vmcs_readl(GUEST_RIP); in handle_dr()6132 vmcs_writel(GUEST_RIP, vcpu->arch.regs[VCPU_REGS_RIP]); in vmx_vcpu_run()