orig_area         321 writeckpt.cpp  static void mtcp_write_non_rwx_and_anonymous_pages(int fd, Area *orig_area)
orig_area         323 writeckpt.cpp    Area area = *orig_area;
orig_area         335 writeckpt.cpp    JASSERT(orig_area->name[0] == '\0');
orig_area         337 writeckpt.cpp    if ((orig_area->prot & PROT_READ) == 0) {
orig_area         338 writeckpt.cpp      JASSERT(mprotect(orig_area->addr, orig_area->size,
orig_area         339 writeckpt.cpp                       orig_area->prot | PROT_READ) == 0)
orig_area         340 writeckpt.cpp        (JASSERT_ERRNO) (orig_area->size) (orig_area->addr)
orig_area         373 writeckpt.cpp    if ((orig_area->prot & PROT_READ) == 0) {
orig_area         374 writeckpt.cpp      JASSERT(mprotect(orig_area->addr, orig_area->size, orig_area->prot) == 0)
orig_area         375 writeckpt.cpp        (JASSERT_ERRNO) (orig_area->addr) (orig_area->size)