x86defs

Constant X86X_MSR_TSC

Source
pub const X86X_MSR_TSC: u32 = 0x10;