killCkpthread     395 dmtcpworker.cpp     ThreadList::killCkpthread();
killCkpthread      42 threadlist.h       void killCkpthread();