cpu_core_index_of_thread
static inline int cpu_core_index_of_thread(int cpu) { return cpu; }
int cpu_core_index_of_thread(int cpu)