new_bv           3878 arch/x86/kvm/svm.c 	u64 new_bv = kvm_read_edx_eax(&svm->vcpu);
new_bv           3881 arch/x86/kvm/svm.c 	if (kvm_set_xcr(&svm->vcpu, index, new_bv) == 0) {
new_bv           5040 arch/x86/kvm/vmx/vmx.c 	u64 new_bv = kvm_read_edx_eax(vcpu);
new_bv           5043 arch/x86/kvm/vmx/vmx.c 	if (kvm_set_xcr(vcpu, index, new_bv) == 0)