Constant x86_64::msr_index::DEBUGCTLMSR_TR

pub const DEBUGCTLMSR_TR: c_uint = 0x00000040;