p4_ht_thread
if (p4_ht_thread(cpu)) {
thread = p4_ht_thread(cpu);
if (p4_ht_active() && p4_ht_thread(cpu))
return p4_ht_config_thread(config) ^ p4_ht_thread(cpu);
if (!p4_ht_thread(cpu))
if (!p4_ht_thread(cpu)) {