x86::msr

Constant MC0_ADDR

Source 
pub const MC0_ADDR: u32 = 0x402;