x86_64::msr_index

Constant DEBUGCTLMSR_TR

Source 
pub const DEBUGCTLMSR_TR: c_uint = 0x00000040;