VCPU_REGS_R12    1843 arch/x86/kvm/svm.c 		  [r12]"i"(offsetof(struct vcpu_svm, vcpu.arch.regs[VCPU_REGS_R12])),
VCPU_REGS_R12    3049 arch/x86/kvm/vmx.c 		[r12]"i"(offsetof(struct vcpu_vmx, vcpu.arch.regs[VCPU_REGS_R12])),
VCPU_REGS_R12    3037 arch/x86/kvm/x86.c 	regs->r12 = vcpu->arch.regs[VCPU_REGS_R12];
VCPU_REGS_R12    3074 arch/x86/kvm/x86.c 	vcpu->arch.regs[VCPU_REGS_R12] = regs->r12;