static void decode_core(int core) { int thread; FOREACH_THREAD decode_thread(core, thread); }
void *decodeThread(void *data) { decode_thread(data); return NULL; }