x86_64::msr_index

Constant MSR_K8_SYSCFG

Source 
pub const MSR_K8_SYSCFG: c_uint = 0xc0010010;