pub const DEBUGCTLMSR_BTF: c_uint = 0x00000002;