mptable_hyperthread_fixup
static void mptable_hyperthread_fixup(u_int id_mask);
mptable_hyperthread_fixup(cpu_mask);