Searched refs:VCPU_REGS_RDX (Results 1 - 3 of 3) sorted by last modified time
| /linux-master/arch/x86/kvm/svm/ |
| H A D | sev.c | 673 save->rdx = svm->vcpu.arch.regs[VCPU_REGS_RDX];
2574 ghcb_set_rdx(ghcb, vcpu->arch.regs[VCPU_REGS_RDX]);
2604 vcpu->arch.regs[VCPU_REGS_RDX] = kvm_ghcb_get_rdx_if_valid(svm, ghcb);
2964 cpuid_value = vcpu->arch.regs[VCPU_REGS_RDX];
|
| /linux-master/arch/x86/include/asm/ |
| H A D | kvm_host.h | 170 VCPU_REGS_RDX = __VCPU_REGS_RDX, enumerator in enum:kvm_reg
|
| /linux-master/arch/x86/kvm/ |
| H A D | emulate.c | 2217 ((u32) (old >> 32) != (u32) reg_read(ctxt, VCPU_REGS_RDX))) {
2219 *reg_write(ctxt, VCPU_REGS_RDX) = (u32) (old >> 32);
2534 rdx = reg_read(ctxt, VCPU_REGS_RDX);
2674 tss->dx = reg_read(ctxt, VCPU_REGS_RDX);
2698 *reg_write(ctxt, VCPU_REGS_RDX) = tss->dx;
2787 tss->edx = reg_read(ctxt, VCPU_REGS_RDX);
2816 *reg_write(ctxt, VCPU_REGS_RDX) = tss->edx;
3223 ctxt->dst.addr.reg = reg_rmw(ctxt, VCPU_REGS_RDX);
3247 *reg_write(ctxt, VCPU_REGS_RDX) = tsc >> 32;
3258 *reg_write(ctxt, VCPU_REGS_RDX)
[all...] |
Completed in 253 milliseconds