pub const MSR_K8_TSEG_ADDR: c_uint = 0xc0010112;