arch/x86/kvm/emulate.c

1127

if (base_reg == VCPU_REGS_RSP || base_reg == VCPU_REGS_RBP)

arch/x86/kvm/emulate.c

1157

unsigned bp = reg_read(ctxt, VCPU_REGS_RBP);

arch/x86/kvm/emulate.c

1905

rbp = reg_read(ctxt, VCPU_REGS_RBP);

arch/x86/kvm/emulate.c

1909

assign_masked(reg_rmw(ctxt, VCPU_REGS_RBP), reg_read(ctxt, VCPU_REGS_RSP),

arch/x86/kvm/emulate.c

1919

assign_masked(reg_rmw(ctxt, VCPU_REGS_RSP), reg_read(ctxt, VCPU_REGS_RBP),

arch/x86/kvm/emulate.c

1921

return emulate_pop(ctxt, reg_rmw(ctxt, VCPU_REGS_RBP), ctxt->op_bytes);

arch/x86/kvm/emulate.c

2630

tss->bp = reg_read(ctxt, VCPU_REGS_RBP);

arch/x86/kvm/emulate.c

2654

*reg_write(ctxt, VCPU_REGS_RBP) = tss->bp;

arch/x86/kvm/emulate.c

2743

tss->ebp = reg_read(ctxt, VCPU_REGS_RBP);

arch/x86/kvm/emulate.c

2772

*reg_write(ctxt, VCPU_REGS_RBP) = tss->ebp;

arch/x86/kvm/svm/sev.c

903

save->rbp = svm->vcpu.arch.regs[VCPU_REGS_RBP];

arch/x86/kvm/svm/svm.c

3497

"rbp:", vcpu->arch.regs[VCPU_REGS_RBP],

arch/x86/kvm/vmx/tdx.c

1026

BIT_ULL(VCPU_REGS_RBP) | \