pub const DEBUGCTLMSR_BTS_OFF_USR: c_uint = 0x00000400;