pub const DEBUGCTLMSR_BTS: c_uint = 0x00000080;