VCPU_REGS_RBP    1837 arch/x86/kvm/svm.c 		  [rbp]"i"(offsetof(struct vcpu_svm, vcpu.arch.regs[VCPU_REGS_RBP]))
VCPU_REGS_RBP    3043 arch/x86/kvm/vmx.c 		[rbp]"i"(offsetof(struct vcpu_vmx, vcpu.arch.regs[VCPU_REGS_RBP])),
VCPU_REGS_RBP    3031 arch/x86/kvm/x86.c 	regs->rbp = vcpu->arch.regs[VCPU_REGS_RBP];
VCPU_REGS_RBP    3068 arch/x86/kvm/x86.c 	vcpu->arch.regs[VCPU_REGS_RBP] = regs->rbp;
VCPU_REGS_RBP    3326 arch/x86/kvm/x86.c 	tss->ebp = vcpu->arch.regs[VCPU_REGS_RBP];
VCPU_REGS_RBP    3353 arch/x86/kvm/x86.c 	vcpu->arch.regs[VCPU_REGS_RBP] = tss->ebp;
VCPU_REGS_RBP    3390 arch/x86/kvm/x86.c 	tss->bp = vcpu->arch.regs[VCPU_REGS_RBP];
VCPU_REGS_RBP    3412 arch/x86/kvm/x86.c 	vcpu->arch.regs[VCPU_REGS_RBP] = tss->bp;
VCPU_REGS_RBP     725 arch/x86/kvm/x86_emulate.c 		unsigned bp = c->regs[VCPU_REGS_RBP];