x86::msr

Constant MC0_CTL

Source 
pub const MC0_CTL: u32 = 0x400;