pub const MSR_IDT_MCR_CTRL: c_uint = 0x00000120;