arch/x86/kvm/emulate.c

2213

((u32) (old >> 32) != (u32) reg_read(ctxt, VCPU_REGS_RDX))) {

arch/x86/kvm/emulate.c

2215

*reg_write(ctxt, VCPU_REGS_RDX) = (u32) (old >> 32);

arch/x86/kvm/emulate.c

2494

rdx = reg_read(ctxt, VCPU_REGS_RDX);

arch/x86/kvm/emulate.c

2641

tss->dx = reg_read(ctxt, VCPU_REGS_RDX);

arch/x86/kvm/emulate.c

2665

*reg_write(ctxt, VCPU_REGS_RDX) = tss->dx;

arch/x86/kvm/emulate.c

2754

tss->edx = reg_read(ctxt, VCPU_REGS_RDX);

arch/x86/kvm/emulate.c

2783

*reg_write(ctxt, VCPU_REGS_RDX) = tss->edx;

arch/x86/kvm/emulate.c

3190

ctxt->dst.addr.reg = reg_rmw(ctxt, VCPU_REGS_RDX);

arch/x86/kvm/emulate.c

3214

*reg_write(ctxt, VCPU_REGS_RDX) = tsc >> 32;

arch/x86/kvm/emulate.c

3225

*reg_write(ctxt, VCPU_REGS_RDX) = pmc >> 32;

arch/x86/kvm/emulate.c

3317

| ((u64)reg_read(ctxt, VCPU_REGS_RDX) << 32);

arch/x86/kvm/emulate.c

3339

*reg_write(ctxt, VCPU_REGS_RDX) = msr_data >> 32;

arch/x86/kvm/emulate.c

3607

*reg_write(ctxt, VCPU_REGS_RDX) = edx;

arch/x86/kvm/emulate.c

3806

edx = reg_read(ctxt, VCPU_REGS_RDX);

arch/x86/kvm/emulate.c

4649

op->addr.reg = reg_rmw(ctxt, VCPU_REGS_RDX);

arch/x86/kvm/emulate.c

4664

op->addr.reg = reg_rmw(ctxt, VCPU_REGS_RDX);

arch/x86/kvm/svm/sev.c

3361

ghcb_set_rdx(ghcb, vcpu->arch.regs[VCPU_REGS_RDX]);

arch/x86/kvm/svm/sev.c

3390

vcpu->arch.regs[VCPU_REGS_RDX] = kvm_ghcb_get_rdx_if_valid(svm);

arch/x86/kvm/svm/sev.c

4311

cpuid_value = vcpu->arch.regs[VCPU_REGS_RDX];

arch/x86/kvm/svm/sev.c

997

save->rdx = svm->vcpu.arch.regs[VCPU_REGS_RDX];

arch/x86/kvm/svm/svm.c

3597

"rdx:", vcpu->arch.regs[VCPU_REGS_RDX]);

arch/x86/kvm/vmx/tdx.c

1017

BIT(VCPU_REGS_RDX) | \