Constant x86_64::msr_index::DEBUGCTLMSR_BTINT

pub const DEBUGCTLMSR_BTINT: c_uint = 0x00000100;