IA32_CPUID_LEAF_MWAIT
if (maxBasicLeaf < IA32_CPUID_LEAF_MWAIT) {
get_current_cpuid(&cpuid, IA32_CPUID_LEAF_MWAIT, 0);