VCPU_REG_RIP
if (!kvm_register_is_available(vcpu, VCPU_REG_RIP))
kvm_x86_call(cache_reg)(vcpu, VCPU_REG_RIP);
kvm_register_mark_dirty(vcpu, VCPU_REG_RIP);
case VCPU_REG_RIP:
if (kvm_register_is_dirty(vcpu, VCPU_REG_RIP))
BIT(VCPU_REG_RIP) | \