pub const CPUID_SVM_TSCSCALE: u32 = 16;