__kvm_set_dr     1141 arch/x86/kvm/x86.c 	if (__kvm_set_dr(vcpu, dr, val)) {
__kvm_set_dr     6022 arch/x86/kvm/x86.c 	return __kvm_set_dr(emul_to_vcpu(ctxt), dr, value);
__kvm_set_dr     7900 arch/x86/kvm/x86.c 	__kvm_set_dr(vcpu, 7, DR7_FIXED_1);