pub const IA32_TIME_STAMP_COUNTER: u32 = 0x10;
Expand description

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