pmc_thread_descriptor_pool_free
pmc_thread_descriptor_pool_free(pmc_find_thread_descriptor(pmc,
pmc_thread_descriptor_pool_free(tdlist[i]);
pmc_thread_descriptor_pool_free(pmc_td);
static void pmc_thread_descriptor_pool_free(struct pmc_thread *pt);