Searched refs:VCPU_REGS_RSP (Results 1 - 8 of 8) sorted by relevance
/linux-master/arch/x86/kvm/ |
H A D | kvm_cache_regs.h | 128 return kvm_register_read_raw(vcpu, VCPU_REGS_RSP); 133 kvm_register_write_raw(vcpu, VCPU_REGS_RSP, val);
|
H A D | emulate.c | 563 masked_increment(reg_rmw(ctxt, VCPU_REGS_RSP), stack_mask(ctxt), inc); 1172 if (base_reg == VCPU_REGS_RSP || base_reg == VCPU_REGS_RBP) 1282 base_reg == VCPU_REGS_RSP) 1828 addr.ea = reg_read(ctxt, VCPU_REGS_RSP) & stack_mask(ctxt); 1847 addr.ea = reg_read(ctxt, VCPU_REGS_RSP) & stack_mask(ctxt); 1927 assign_masked(reg_rmw(ctxt, VCPU_REGS_RBP), reg_read(ctxt, VCPU_REGS_RSP), 1929 assign_masked(reg_rmw(ctxt, VCPU_REGS_RSP), 1930 reg_read(ctxt, VCPU_REGS_RSP) - frame_size, 1937 assign_masked(reg_rmw(ctxt, VCPU_REGS_RSP), reg_read(ctxt, VCPU_REGS_RBP), 1976 unsigned long old_esp = reg_read(ctxt, VCPU_REGS_RSP); [all...] |
H A D | x86.c | 12318 kvm_register_mark_dirty(vcpu, VCPU_REGS_RSP);
|
/linux-master/arch/x86/kvm/vmx/ |
H A D | vmx.h | 625 (1 << VCPU_REGS_RSP) | \
|
H A D | vmx.c | 2468 case VCPU_REGS_RSP: 2469 vcpu->arch.regs[VCPU_REGS_RSP] = vmcs_readl(GUEST_RSP); 7351 if (kvm_register_is_dirty(vcpu, VCPU_REGS_RSP)) 7352 vmcs_writel(GUEST_RSP, vcpu->arch.regs[VCPU_REGS_RSP]);
|
/linux-master/arch/x86/kvm/svm/ |
H A D | svm.c | 4130 svm->vmcb->save.rsp = vcpu->arch.regs[VCPU_REGS_RSP]; 4195 vcpu->arch.regs[VCPU_REGS_RSP] = svm->vmcb->save.rsp; 4618 svm->vmcb->save.rsp = vcpu->arch.regs[VCPU_REGS_RSP];
|
H A D | sev.c | 602 save->rsp = svm->vcpu.arch.regs[VCPU_REGS_RSP];
|
/linux-master/arch/x86/include/asm/ |
H A D | kvm_host.h | 172 VCPU_REGS_RSP = __VCPU_REGS_RSP, enumerator in enum:kvm_reg
|
Completed in 236 milliseconds