MAX_HT_ID
int ht_sibling_cpu_id[MAX_HT_ID + 1];
for (i = MAX_HT_ID; i > 0; --i) { /* ht_id 0 is self */
for (i = 0; i <= MAX_HT_ID; ++i)