MSR_IA32_DEBUGCTLMSR  761 arch/x86/include/asm/processor.h 	rdmsrl(MSR_IA32_DEBUGCTLMSR, debugctlmsr);
MSR_IA32_DEBUGCTLMSR  772 arch/x86/include/asm/processor.h 	wrmsrl(MSR_IA32_DEBUGCTLMSR, debugctlmsr);