restoreBufLen     105 processinfo.h        uint64_t restoreBufLen(void) const { return RESTORE_TOTAL_SIZE;}
restoreBufLen     258 threadlist.cpp   mtcpHdr->restore_size = ProcessInfo::instance().restoreBufLen();
restoreBufLen     137 writeckpt.cpp        JASSERT(area.size == ProcessInfo::instance().restoreBufLen())
restoreBufLen     138 writeckpt.cpp          ((void*) area.addr) (area.size) (ProcessInfo::instance().restoreBufLen());