Searched refs:VCPU_REGS_RBP (Results 1 – 3 of 3) sorted by relevance
| /linux/arch/x86/kvm/ |
| H A D | emulate.c | 1127 if (base_reg == VCPU_REGS_RSP || base_reg == VCPU_REGS_RBP) in adjust_modrm_seg()
1157 unsigned bp = reg_read(ctxt, VCPU_REGS_RBP); in decode_modrm()
1918 rbp = reg_read(ctxt, VCPU_REGS_RBP); in em_enter()
1922 assign_masked(reg_rmw(ctxt, VCPU_REGS_RBP), reg_read(ctxt, VCPU_REGS_RSP), in em_enter()
1932 assign_masked(reg_rmw(ctxt, VCPU_REGS_RSP), reg_read(ctxt, VCPU_REGS_RBP), in em_leave()
1934 return emulate_pop(ctxt, reg_rmw(ctxt, VCPU_REGS_RBP), ctxt->op_bytes); in em_leave()
2643 tss->bp = reg_read(ctxt, VCPU_REGS_RBP); in save_state_to_tss16()
2667 *reg_write(ctxt, VCPU_REGS_RBP) = tss->bp; in load_state_from_tss16()
2756 tss->ebp = reg_read(ctxt, VCPU_REGS_RBP); in save_state_to_tss32()
2785 *reg_write(ctxt, VCPU_REGS_RBP) = tss->ebp; in load_state_from_tss32()
|
| /linux/arch/x86/include/asm/ |
| H A D | kvm_host.h | 181 VCPU_REGS_RBP = __VCPU_REGS_RBP, enumerator
|
| /linux/arch/x86/kvm/svm/ |
| H A D | svm.c | 3551 "rbp:", vcpu->arch.regs[VCPU_REGS_RBP], in dump_vmcb()
|