MSR_IA32_DEBUGCTLMSR 1244 arch/x86/kvm/svm.c case MSR_IA32_DEBUGCTLMSR: MSR_IA32_DEBUGCTLMSR 1322 arch/x86/kvm/svm.c case MSR_IA32_DEBUGCTLMSR: MSR_IA32_DEBUGCTLMSR 761 include/asm-x86/processor.h wrmsrl(MSR_IA32_DEBUGCTLMSR, debugctlmsr);