MAX_HT_ID
int ht_sibling_cpu_id[MAX_HT_ID + 1];
for (i = 0; i <= MAX_HT_ID; ++i) {
for (i = 0; i <= MAX_HT_ID; ++i) {
for (i = 0; i <= MAX_HT_ID; ++i)
for (ht_id = 0; ht_id <= MAX_HT_ID; ++ht_id)