IA32_CPUID_LEAF_TSC
if (maxBasicLeaf < IA32_CPUID_LEAF_TSC)
get_current_cpuid(&cpuid, IA32_CPUID_LEAF_TSC, 0);