kvm_update_dr6   1124 arch/x86/kvm/x86.c 		kvm_update_dr6(vcpu);
kvm_update_dr6   3941 arch/x86/kvm/x86.c 	kvm_update_dr6(vcpu);
kvm_update_dr6   8265 arch/x86/kvm/x86.c 		kvm_update_dr6(vcpu);
kvm_update_dr6   9230 arch/x86/kvm/x86.c 	kvm_update_dr6(vcpu);