pub const DEBUGCTLMSR: u32 = 0x1d9;