end1             1017 mtcp/mtcp_restart.c   VA end1 = (char*)addr1 + size1;
end1             1019 mtcp/mtcp_restart.c   return (addr1 >= addr2 && addr1 < end2) || (addr2 >= addr1 && addr2 < end1);