mptable_hyperthread_fixup
static int mptable_hyperthread_fixup(cpumask_t, int);
logical_cpus = mptable_hyperthread_fixup(mask, arg1.cpu_count);