VCPU_REGS_RIP
return kvm_register_read_raw(vcpu, VCPU_REGS_RIP);
kvm_register_write_raw(vcpu, VCPU_REGS_RIP, val);
save->rip = svm->vcpu.arch.regs[VCPU_REGS_RIP];
svm->vmcb->save.rip = vcpu->arch.regs[VCPU_REGS_RIP];
vcpu->arch.regs[VCPU_REGS_RIP] = svm->vmcb->save.rip;
svm->vmcb->save.rip = vcpu->arch.regs[VCPU_REGS_RIP];
case VCPU_REGS_RIP:
vcpu->arch.regs[VCPU_REGS_RIP] = vmcs_readl(GUEST_RIP);
if (kvm_register_is_dirty(vcpu, VCPU_REGS_RIP))
vmcs_writel(GUEST_RIP, vcpu->arch.regs[VCPU_REGS_RIP]);
#define VMX_REGS_LAZY_LOAD_SET ((1 << VCPU_REGS_RIP) | \