Constant x86_64::msr_index::MSR_F15H_PTSC

pub const MSR_F15H_PTSC: c_uint = 0xc0010280;