VCPU_REGS_RDX    2272 arch/x86/kvm/emulate.c 	    ((u32) (old >> 32) != (u32) reg_read(ctxt, VCPU_REGS_RDX))) {
VCPU_REGS_RDX    2274 arch/x86/kvm/emulate.c 		*reg_write(ctxt, VCPU_REGS_RDX) = (u32) (old >> 32);
VCPU_REGS_RDX    2918 arch/x86/kvm/emulate.c 	rdx = reg_read(ctxt, VCPU_REGS_RDX);
VCPU_REGS_RDX    3057 arch/x86/kvm/emulate.c 	tss->dx = reg_read(ctxt, VCPU_REGS_RDX);
VCPU_REGS_RDX    3081 arch/x86/kvm/emulate.c 	*reg_write(ctxt, VCPU_REGS_RDX) = tss->dx;
VCPU_REGS_RDX    3171 arch/x86/kvm/emulate.c 	tss->edx = reg_read(ctxt, VCPU_REGS_RDX);
VCPU_REGS_RDX    3200 arch/x86/kvm/emulate.c 	*reg_write(ctxt, VCPU_REGS_RDX) = tss->edx;
VCPU_REGS_RDX    3609 arch/x86/kvm/emulate.c 	ctxt->dst.addr.reg = reg_rmw(ctxt, VCPU_REGS_RDX);
VCPU_REGS_RDX    3631 arch/x86/kvm/emulate.c 	*reg_write(ctxt, VCPU_REGS_RDX) = tsc >> 32;
VCPU_REGS_RDX    3642 arch/x86/kvm/emulate.c 	*reg_write(ctxt, VCPU_REGS_RDX) = pmc >> 32;
VCPU_REGS_RDX    3725 arch/x86/kvm/emulate.c 		| ((u64)reg_read(ctxt, VCPU_REGS_RDX) << 32);
VCPU_REGS_RDX    3740 arch/x86/kvm/emulate.c 	*reg_write(ctxt, VCPU_REGS_RDX) = msr_data >> 32;
VCPU_REGS_RDX    4008 arch/x86/kvm/emulate.c 	*reg_write(ctxt, VCPU_REGS_RDX) = edx;
VCPU_REGS_RDX    4201 arch/x86/kvm/emulate.c 	edx = reg_read(ctxt, VCPU_REGS_RDX);
VCPU_REGS_RDX    5062 arch/x86/kvm/emulate.c 		op->addr.reg = reg_rmw(ctxt, VCPU_REGS_RDX);
VCPU_REGS_RDX    5078 arch/x86/kvm/emulate.c 		op->addr.reg = reg_rmw(ctxt, VCPU_REGS_RDX);
VCPU_REGS_RDX    5771 arch/x86/kvm/svm.c 		  [rdx]"i"(offsetof(struct vcpu_svm, vcpu.arch.regs[VCPU_REGS_RDX])),
VCPU_REGS_RDX    4266 arch/x86/kvm/vmx/vmx.c 	vmx->vcpu.arch.regs[VCPU_REGS_RDX] = get_rdx_init_val();