kvm_rdx_write    1060 arch/x86/kvm/cpuid.c 	kvm_rdx_write(vcpu, edx);
kvm_rdx_write    1542 arch/x86/kvm/hyperv.c 		kvm_rdx_write(vcpu, result >> 32);
kvm_rdx_write    2157 arch/x86/kvm/svm.c 	kvm_rdx_write(vcpu, eax);
kvm_rdx_write    1185 arch/x86/kvm/x86.c 	kvm_rdx_write(vcpu, data >> 32);
kvm_rdx_write    1584 arch/x86/kvm/x86.c 	kvm_rdx_write(vcpu, (data >> 32) & -1u);
kvm_rdx_write    8680 arch/x86/kvm/x86.c 	kvm_rdx_write(vcpu, regs->rdx);