VCPU_REGS_R13    1844 arch/x86/kvm/svm.c 		  [r13]"i"(offsetof(struct vcpu_svm, vcpu.arch.regs[VCPU_REGS_R13])),
VCPU_REGS_R13    3050 arch/x86/kvm/vmx.c 		[r13]"i"(offsetof(struct vcpu_vmx, vcpu.arch.regs[VCPU_REGS_R13])),
VCPU_REGS_R13    3038 arch/x86/kvm/x86.c 	regs->r13 = vcpu->arch.regs[VCPU_REGS_R13];
VCPU_REGS_R13    3075 arch/x86/kvm/x86.c 	vcpu->arch.regs[VCPU_REGS_R13] = regs->r13;