checkpointhread    68 threadlist.cpp static void *checkpointhread (void *dummy);
checkpointhread   164 threadlist.cpp   JASSERT(pthread_create(&checkpointhreadid, NULL, checkpointhread, NULL) == 0);