sbrk              316 processinfo.cpp   uint64_t curBrk = (uint64_t) sbrk(0);
sbrk              544 processinfo.cpp   _savedBrk = (uint64_t) sbrk(0);
sbrk              254 threadlist.cpp   mtcpHdr->saved_brk = sbrk(0);
sbrk              392 writeckpt.cpp      char *brk = (char*)sbrk(0);