thread_imc_mem_alloc
res = thread_imc_mem_alloc(cpu, pmu_ptr->counter_mem_size);
return thread_imc_mem_alloc(cpu, thread_imc_mem_size);