writeCkptImage     35 ckptserializer.h     void writeCkptImage(void *mtcpHdr, size_t mtcpHdrLen);
writeCkptImage    384 threadlist.cpp     CkptSerializer::writeCkptImage(&mtcpHdr, sizeof(mtcpHdr));