x86::msr::IA32_TIME_STAMP_COUNTER

pub const IA32_TIME_STAMP_COUNTER: u32 = 16

See Section 17.13, Time-Stamp Counter, and see Table 35-2.