cpu_core_index_of_thread
int cpu_core_index_of_thread(int cpu);
EXPORT_SYMBOL_GPL(cpu_core_index_of_thread);
thread_index = cpu_core_index_of_thread(cpu);
u32 mask = 1 << cpu_core_index_of_thread(cpu);
u32 mask = 1 << cpu_core_index_of_thread(cpu);