src/os.cc
// Release the test memory resources, if any.
Release the test memory resources, if any.
Release the test memory resources if any .
void OsLayer::ReleaseTestMem(void *addr, uint64 offset, uint64 length) {
  if (dynamic_mapped_shmem_) {
    int retval = munmap(addr, length);
    if (retval == -1) {
      string errtxt = ErrorString(errno);
      logprintf(0, "Process Error: ReleaseTestMem munmap(%p, %llx) failed. "
                   "error: %s.\n",
                addr, length, errtxt.c_str());
      sat_assert(0);
    }
  }
}
void OsLayer :: ReleaseTestMem ( void * addr , uint64 offset , uint64 length ) { if ( dynamic_mapped_shmem_ ) { int retval = munmap ( addr , length ) ; if ( retval == -1 ) { string errtxt = ErrorString ( errno ) ; logprintf ( 0 , " " " \n " , addr , length , errtxt . c_str ( ) ) ; sat_assert ( 0 ) ; } } }
Release the test memory resources, if any.
Release the test memory resources if any .