pub const MSR_K8_SYSCFG: c_uint = 0xc0010010;