MTCP_ASSERT       658 mtcp/mtcp_restart.c     MTCP_ASSERT(vvarStart == rinfo->vvarStart);
MTCP_ASSERT       690 mtcp/mtcp_restart.c     MTCP_ASSERT(vdso == rinfo->vdsoStart);
MTCP_ASSERT       719 mtcp/mtcp_restart.c     MTCP_ASSERT(vdso == vdsoStart);
MTCP_ASSERT       734 mtcp/mtcp_restart.c     MTCP_ASSERT(vvar == rinfo->vvarStart);
MTCP_ASSERT       744 mtcp/mtcp_restart.c     MTCP_ASSERT(vvar == vvarStart);
MTCP_ASSERT       922 mtcp/mtcp_restart.c     MTCP_ASSERT(0);
MTCP_ASSERT        61 mtcp/mtcp_util.c     MTCP_ASSERT(c < base);
MTCP_ASSERT       226 mtcp/mtcp_util.c   MTCP_ASSERT(len < PATH_MAX);
MTCP_ASSERT       522 mtcp/mtcp_util.c   MTCP_ASSERT(mapsfd != -1);
MTCP_ASSERT       529 mtcp/mtcp_util.c       MTCP_ASSERT(text.start_addr == NULL);
MTCP_ASSERT       538 mtcp/mtcp_util.c       MTCP_ASSERT(mtcp_strcmp(filename, area.name) == 0);
MTCP_ASSERT       539 mtcp/mtcp_util.c       MTCP_ASSERT(area.addr == text.end_addr);
MTCP_ASSERT       546 mtcp/mtcp_util.c         MTCP_ASSERT(mtcp_sys_mmap(start_addr, area.size, PROT_READ,
MTCP_ASSERT       559 mtcp/mtcp_util.c       MTCP_ASSERT(mtcp_strcmp(filename, area.name) == 0);
MTCP_ASSERT       560 mtcp/mtcp_util.c       MTCP_ASSERT(area.addr == guard.end_addr);
MTCP_ASSERT       575 mtcp/mtcp_util.c       MTCP_ASSERT(mtcp_strcmp(filename, area.name) == 0);
MTCP_ASSERT       576 mtcp/mtcp_util.c       MTCP_ASSERT(area.addr == rodata.end_addr);
MTCP_ASSERT       577 mtcp/mtcp_util.c       MTCP_ASSERT(area.prot == (PROT_READ|PROT_WRITE) ||
MTCP_ASSERT       592 mtcp/mtcp_util.c       MTCP_ASSERT(area.addr == rwdata.end_addr);
MTCP_ASSERT       593 mtcp/mtcp_util.c       MTCP_ASSERT(area.prot == (PROT_READ|PROT_WRITE) ||
MTCP_ASSERT       605 mtcp/mtcp_util.c   MTCP_ASSERT(text.start_addr != NULL);