p4_ht_config_thread
int thread = p4_ht_config_thread(hwc->config);
return p4_ht_config_thread(config) ^ p4_ht_thread(cpu);