pmc_process_threadexit
pmc_process_threadexit(td);
static void pmc_process_threadexit(struct thread *td);