kvm_read_edx_eax 3878 arch/x86/kvm/svm.c 	u64 new_bv = kvm_read_edx_eax(&svm->vcpu);
kvm_read_edx_eax 5040 arch/x86/kvm/vmx/vmx.c 	u64 new_bv = kvm_read_edx_eax(vcpu);
kvm_read_edx_eax 1592 arch/x86/kvm/x86.c 	u64 data = kvm_read_edx_eax(vcpu);