280                 configASSERT( pxCtx->xMutex != ( Mutex_t ) NULL );  in vMBuffNetifBackendInit()
283                 configASSERT( pxCtx->xTxThread != ( Thread_t ) NULL );  in vMBuffNetifBackendInit()
286                 configASSERT( pxCtx->xRxThread != ( Thread_t ) NULL );  in vMBuffNetifBackendInit()
292                 configASSERT( lRslt == 0U );  in vMBuffNetifBackendInit()
295                 configASSERT( lRslt == 0U );  in vMBuffNetifBackendInit()
298                 configASSERT( lRslt == 0U );  in vMBuffNetifBackendInit()
321     configASSERT( pxCtx != NULL );  in vLockSlirpContext()
325         configASSERT( lRslt == 0 );  in vLockSlirpContext()
328         configASSERT( lRslt == 0 );  in vLockSlirpContext()
342         configASSERT( lRslt != 0 );  in vUnlockSlirpContext()
345         configASSERT( lRslt == 0 );  in vUnlockSlirpContext()
427         configASSERT( uxBytesSent == uxLen );  in xSlirp_WriteCallback()
445     configASSERT( pxCtx != NULL );  in vEnsurePollfdSize()
474         configASSERT( pxCtx->pxPollFdArray != NULL );  in vEnsurePollfdSize()
566     configASSERT( pxCtx != NULL );  in lSlirpAddPollCallback()
567     configASSERT( pxCtx->nfds < INT_MAX );  in lSlirpAddPollCallback()
593     configASSERT( pxCtx );  in lSlirpGetREventsCallback()
595     configASSERT( lIdx >= 0 );  in lSlirpGetREventsCallback()
598     configASSERT( xIndex < pxCtx->nfds );  in lSlirpGetREventsCallback()
599     configASSERT( xIndex < pxCtx->xPollFdArraySize );  in lSlirpGetREventsCallback()
628     configASSERT( pxCtx != NULL );  in vTransmitThread()
678     configASSERT( pxCtx != NULL );  in vReceiveThread()
787     configASSERT( 0 );  in pvSlirp_TimerNew()
803     configASSERT( 0 );  in vSlirp_TimerFree()
821     configASSERT( 0 );  in vSlirp_TimerModify()
842         configASSERT( 0 );  in pvSlirpTimerNewOpaque()
858     configASSERT( pxCtx != NULL );  in vSlirp_RegisterPollFd()