VCPU_REGS_RBP    1258 arch/x86/kvm/emulate.c 	if (base_reg == VCPU_REGS_RSP || base_reg == VCPU_REGS_RBP)
VCPU_REGS_RBP    1305 arch/x86/kvm/emulate.c 		unsigned bp = reg_read(ctxt, VCPU_REGS_RBP);
VCPU_REGS_RBP    1978 arch/x86/kvm/emulate.c 	rbp = reg_read(ctxt, VCPU_REGS_RBP);
VCPU_REGS_RBP    1982 arch/x86/kvm/emulate.c 	assign_masked(reg_rmw(ctxt, VCPU_REGS_RBP), reg_read(ctxt, VCPU_REGS_RSP),
VCPU_REGS_RBP    1992 arch/x86/kvm/emulate.c 	assign_masked(reg_rmw(ctxt, VCPU_REGS_RSP), reg_read(ctxt, VCPU_REGS_RBP),
VCPU_REGS_RBP    1994 arch/x86/kvm/emulate.c 	return emulate_pop(ctxt, reg_rmw(ctxt, VCPU_REGS_RBP), ctxt->op_bytes);
VCPU_REGS_RBP    3060 arch/x86/kvm/emulate.c 	tss->bp = reg_read(ctxt, VCPU_REGS_RBP);
VCPU_REGS_RBP    3084 arch/x86/kvm/emulate.c 	*reg_write(ctxt, VCPU_REGS_RBP) = tss->bp;
VCPU_REGS_RBP    3174 arch/x86/kvm/emulate.c 	tss->ebp = reg_read(ctxt, VCPU_REGS_RBP);
VCPU_REGS_RBP    3203 arch/x86/kvm/emulate.c 	*reg_write(ctxt, VCPU_REGS_RBP) = tss->ebp;
VCPU_REGS_RBP    5774 arch/x86/kvm/svm.c 		  [rbp]"i"(offsetof(struct vcpu_svm, vcpu.arch.regs[VCPU_REGS_RBP]))