Searched refs:VCPU_REGS_RBP (Results 1 - 3 of 3) sorted by relevance
/linux-master/arch/x86/kvm/ |
H A D | emulate.c | 1172 if (base_reg == VCPU_REGS_RSP || base_reg == VCPU_REGS_RBP) 1219 unsigned bp = reg_read(ctxt, VCPU_REGS_RBP); 1923 rbp = reg_read(ctxt, VCPU_REGS_RBP); 1927 assign_masked(reg_rmw(ctxt, VCPU_REGS_RBP), reg_read(ctxt, VCPU_REGS_RSP), 1937 assign_masked(reg_rmw(ctxt, VCPU_REGS_RSP), reg_read(ctxt, VCPU_REGS_RBP), 1939 return emulate_pop(ctxt, reg_rmw(ctxt, VCPU_REGS_RBP), ctxt->op_bytes); 2677 tss->bp = reg_read(ctxt, VCPU_REGS_RBP); 2701 *reg_write(ctxt, VCPU_REGS_RBP) = tss->bp; 2790 tss->ebp = reg_read(ctxt, VCPU_REGS_RBP); 2819 *reg_write(ctxt, VCPU_REGS_RBP) [all...] |
/linux-master/arch/x86/include/asm/ |
H A D | kvm_host.h | 173 VCPU_REGS_RBP = __VCPU_REGS_RBP, enumerator in enum:kvm_reg
|
/linux-master/arch/x86/kvm/svm/ |
H A D | sev.c | 603 save->rbp = svm->vcpu.arch.regs[VCPU_REGS_RBP];
|
Completed in 219 milliseconds