pub const MSR_IA32_DEBUGCTLMSR: c_uint = 0x000001d9;