VCPU_REGS_RDX    1277 arch/x86/kvm/svm.c 		svm->vcpu.arch.regs[VCPU_REGS_RDX] = data >> 32;
VCPU_REGS_RDX    1363 arch/x86/kvm/svm.c 		| ((u64)(svm->vcpu.arch.regs[VCPU_REGS_RDX] & -1u) << 32);
VCPU_REGS_RDX    1834 arch/x86/kvm/svm.c 		  [rdx]"i"(offsetof(struct vcpu_svm, vcpu.arch.regs[VCPU_REGS_RDX])),
VCPU_REGS_RDX    2030 arch/x86/kvm/vmx.c 	vmx->vcpu.arch.regs[VCPU_REGS_RDX] = get_rdx_init_val();
VCPU_REGS_RDX    2519 arch/x86/kvm/vmx.c 	vcpu->arch.regs[VCPU_REGS_RDX] = (data >> 32) & -1u;
VCPU_REGS_RDX    2528 arch/x86/kvm/vmx.c 		| ((u64)(vcpu->arch.regs[VCPU_REGS_RDX] & -1u) << 32);
VCPU_REGS_RDX    3040 arch/x86/kvm/vmx.c 		[rdx]"i"(offsetof(struct vcpu_vmx, vcpu.arch.regs[VCPU_REGS_RDX])),
VCPU_REGS_RDX    2527 arch/x86/kvm/x86.c 	a2 = vcpu->arch.regs[VCPU_REGS_RDX];
VCPU_REGS_RDX    2709 arch/x86/kvm/x86.c 	vcpu->arch.regs[VCPU_REGS_RDX] = 0;
VCPU_REGS_RDX    2730 arch/x86/kvm/x86.c 		vcpu->arch.regs[VCPU_REGS_RDX] = best->edx;
VCPU_REGS_RDX    2738 arch/x86/kvm/x86.c 		    (u32)vcpu->arch.regs[VCPU_REGS_RDX], handler);
VCPU_REGS_RDX    3027 arch/x86/kvm/x86.c 	regs->rdx = vcpu->arch.regs[VCPU_REGS_RDX];
VCPU_REGS_RDX    3064 arch/x86/kvm/x86.c 	vcpu->arch.regs[VCPU_REGS_RDX] = regs->rdx;
VCPU_REGS_RDX    3323 arch/x86/kvm/x86.c 	tss->edx = vcpu->arch.regs[VCPU_REGS_RDX];
VCPU_REGS_RDX    3350 arch/x86/kvm/x86.c 	vcpu->arch.regs[VCPU_REGS_RDX] = tss->edx;
VCPU_REGS_RDX    3387 arch/x86/kvm/x86.c 	tss->dx = vcpu->arch.regs[VCPU_REGS_RDX];
VCPU_REGS_RDX    3409 arch/x86/kvm/x86.c 	vcpu->arch.regs[VCPU_REGS_RDX] = tss->dx;
VCPU_REGS_RDX    1177 arch/x86/kvm/x86_emulate.c 	    ((u32) (old >> 32) != (u32) c->regs[VCPU_REGS_RDX])) {
VCPU_REGS_RDX    1180 arch/x86/kvm/x86_emulate.c 		c->regs[VCPU_REGS_RDX] = (u32) (old >> 32);
VCPU_REGS_RDX    1433 arch/x86/kvm/x86_emulate.c 				c->regs[VCPU_REGS_RDX]) == 0) {
VCPU_REGS_RDX    1450 arch/x86/kvm/x86_emulate.c 				c->regs[VCPU_REGS_RDX]) == 0) {
VCPU_REGS_RDX    1888 arch/x86/kvm/x86_emulate.c 			| ((u64)c->regs[VCPU_REGS_RDX] << 32);
VCPU_REGS_RDX    1905 arch/x86/kvm/x86_emulate.c 			c->regs[VCPU_REGS_RDX] = msr_data >> 32;