Home
last modified time | relevance | path

Searched refs:configASSERT (Results 1 – 25 of 48) sorted by relevance

12

/FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/libslirp/
HDMBuffNetifBackendLibslirp.c280 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()
[all …]
HDMBuffNetworkInterface.c191 configASSERT( pxDescriptor->xDataLength >= NETWORK_BUFFER_LEN ); in vNetifReceiveTask()
253 configASSERT( pxNetworkBuffer != NULL ); in xNetworkInterfaceOutput()
254 configASSERT( pxNetworkBuffer->pucEthernetBuffer != NULL ); in xNetworkInterfaceOutput()
255 configASSERT( pxNetworkBuffer->xDataLength >= sizeof( EthernetHeader_t ) ); in xNetworkInterfaceOutput()
267 configASSERT( uxBytesSent == pxNetworkBuffer->xDataLength ); in xNetworkInterfaceOutput()
317 configASSERT( 0 ); in vNetworkInterfaceAllocateRAMToBuffers()
/FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/pic32mzef/
HDBufferAllocation_2.c137 configASSERT( ( ( uint32_t ) ppkt & ( sizeof( uint32_t ) - 1 ) ) == 0 ); in PIC32_PktAlloc()
174 configASSERT( ( pPkt != 0 ) ); in PIC32_MacPacketAcknowledge()
195 configASSERT( ( ( uint32_t ) ppkt & ( sizeof( uint32_t ) - 1 ) ) == 0 ); in PIC32_MacAssociate()
199 configASSERT( false ); in PIC32_MacAssociate()
205 configASSERT( ( ( uint32_t ) ppDcpt & ( sizeof( uint32_t ) - 1 ) ) == 0 ); in PIC32_MacAssociate()
213 configASSERT( false ); in PIC32_MacPacketOrphan()
239 configASSERT( ( ( uint32_t ) ppkt & ( sizeof( uint32_t ) - 1 ) ) == 0 ); in NetworkBufferFree()
241 configASSERT( ( pPkt != 0 ) ); in NetworkBufferFree()
267 configASSERT( xNetworkBufferSemaphore ); in xNetworkBuffersInitialise()
350 configASSERT( pucEthernetBuffer ); in pucGetNetworkBuffer()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/source/
HDFreeRTOS_IP_Utils.c389 configASSERT( xIPIsNetworkTaskReady() == pdFALSE ); in vPreCheckConfigs()
390 configASSERT( xNetworkEventQueue == NULL ); in vPreCheckConfigs()
391 configASSERT( FreeRTOS_GetIPTaskHandle() == NULL ); in vPreCheckConfigs()
401 configASSERT( ipconfigBUFFER_PADDING >= 14 ); in vPreCheckConfigs()
403 configASSERT( ( ( ( ipconfigBUFFER_PADDING ) + 2 ) % 4 ) == 0 ); in vPreCheckConfigs()
409 … configASSERT( uxSize >= ( ipSIZE_OF_IPv4_HEADER + ipSIZE_OF_TCP_HEADER + ipconfigTCP_MSS ) ); in vPreCheckConfigs()
413 configASSERT( uxSize == ipEXPECTED_EthernetHeader_t_SIZE ); in vPreCheckConfigs()
416 configASSERT( uxSize == ipEXPECTED_ARPHeader_t_SIZE ); in vPreCheckConfigs()
419 configASSERT( uxSize == ipEXPECTED_IPHeader_t_SIZE ); in vPreCheckConfigs()
422 configASSERT( uxSize == ipEXPECTED_ICMPHeader_t_SIZE ); in vPreCheckConfigs()
[all …]
HDFreeRTOS_ARP.c445 configASSERT( pxMACAddress != NULL ); in ulARPRemoveCacheEntryByMac()
660 configASSERT( pxMACAddress != NULL ); in eARPGetCacheEntryByMac()
661 configASSERT( pulIPAddress != NULL ); in eARPGetCacheEntryByMac()
702 configASSERT( pxMACAddress != NULL ); in eARPGetCacheEntry()
703 configASSERT( pulIPAddress != NULL ); in eARPGetCacheEntry()
1003 configASSERT( xIsCallingFromIPTask() == pdFALSE ); in xARPWaitResolution()
1078 configASSERT( pxNetworkBuffer != NULL ); in vARPGenerateRequestPacket()
1079 configASSERT( pxNetworkBuffer->xDataLength >= sizeof( ARPPacket_t ) ); in vARPGenerateRequestPacket()
HDFreeRTOS_Sockets.c306 configASSERT( xDomain == FREERTOS_AF_INET ); in prvDetermineSocketSize()
309 configASSERT( listLIST_IS_INITIALISED( &xBoundUDPSocketsList ) ); in prvDetermineSocketSize()
313 configASSERT( listLIST_IS_INITIALISED( &xBoundTCPSocketsList ) ); in prvDetermineSocketSize()
322 …configASSERT( xReturn == pdPASS ); /* LCOV_EXCL_BR_LINE Exclude this line from branch coverage as … in prvDetermineSocketSize()
335 …configASSERT( xReturn == pdPASS ); /* LCOV_EXCL_BR_LINE Exclude this line from branch coverage as … in prvDetermineSocketSize()
344 …configASSERT( xReturn == pdPASS ); /* LCOV_EXCL_BR_LINE Exclude this line from branch coverage as … in prvDetermineSocketSize()
598 configASSERT( pxSocket != NULL ); in FreeRTOS_FD_SET()
599 configASSERT( xSocketSet != NULL ); in FreeRTOS_FD_SET()
637 configASSERT( pxSocket != NULL ); in FreeRTOS_FD_CLR()
638 configASSERT( xSocketSet != NULL ); in FreeRTOS_FD_CLR()
[all …]
HDFreeRTOS_TCP_IP.c339 configASSERT( xParent != NULL ); in vTCPStateChange()
460 configASSERT( xIsCallingFromIPTask() != pdFALSE ); in vTCPStateChange()
622 configASSERT( pxNetworkBuffer != NULL ); in xProcessReceivedTCPPacket()
623 configASSERT( pxNetworkBuffer->pucEthernetBuffer != NULL ); in xProcessReceivedTCPPacket()
799 configASSERT( pxSocket != NULL ); /* LCOV_EXCL_LINE ,this branch will not be hit*/ in xProcessReceivedTCPPacket()
/FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/M487/
HDNetworkInterface.c112 configASSERT( xPhyHandlerTask ); in xNetworkInterfaceInitialise()
114 configASSERT( xReturn ); in xNetworkInterfaceInitialise()
121 configASSERT( xReturn ); in xNetworkInterfaceInitialise()
127 configASSERT( xTXMutex ); in xNetworkInterfaceInitialise()
/FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/LPC18xx/
HDNetworkInterface.c289 configASSERT( xReturn != NULL ); in xNetworkInterfaceInitialise()
297 configASSERT( xTXDescriptorSemaphore != NULL ); in xNetworkInterfaceInitialise()
386 configASSERT( pxNetworkBuffer != NULL ); in vClearTXBuffers()
444 configASSERT( bReleaseAfterSend != pdFALSE ); in xNetworkInterfaceOutput()
499 configASSERT( xTaskGetSchedulerState() == taskSCHEDULER_RUNNING ); in prvDelay()
535 configASSERT( xDMATxDescriptors[ x ].B1ADD != 0U ); in prvSetupTxDescriptors()
586 configASSERT( pxNetworkBuffer != NULL ); in prvSetupRxDescriptors()
602 configASSERT( xDMARxDescriptors[ x ].B1ADD != 0U ); in prvSetupRxDescriptors()
744 configASSERT( pxDescriptor != NULL ); in prvNetworkInterfaceInput()
830 configASSERT( xRxHanderTask ); in NETWORK_IRQHandler()
/FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/LPC17xx/
HDNetworkInterface.c104 configASSERT( xEMACRxEventSemaphore != NULL ); in xNetworkInterfaceInitialise()
122 configASSERT( xStatus != ERROR ); in xNetworkInterfaceInitialise()
217 configASSERT( xEMACRxEventSemaphore != NULL ); in prvEMACHandlerTask()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/patches/
HDFreeRTOSConfig.h135 #ifndef configASSERT
136 #define configASSERT( x ) if( ( x ) == 0 ) vAssertCalled( __FILE__, __LINE__ ) macro
/FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/ATSAM4E/
HDNetworkInterface.c224 configASSERT( xEMACTaskHandle != NULL ); in xNetworkInterfaceInitialise()
230 configASSERT( xTxBufferQueue != NULL ); in xNetworkInterfaceInitialise()
236 configASSERT( xTXDescriptorSemaphore != NULL ); in xNetworkInterfaceInitialise()
293 configASSERT( bReleaseAfterSend != pdFALSE ); in xNetworkInterfaceOutput()
533 configASSERT( xEMACTaskHandle != NULL ); in prvEMACHandlerTask()
/FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/STM32Hxx/
HDNetworkInterface.c257 configASSERT( xTXDescriptorSemaphore ); in xNetworkInterfaceInitialise()
260 configASSERT( xTransmissionMutex ); in xNetworkInterfaceInitialise()
270 configASSERT( pucBuffer != NULL ); in xNetworkInterfaceInitialise()
360 configASSERT( xReleaseAfterSend != pdFALSE ); in xNetworkInterfaceOutput()
364 configASSERT( pxDescriptor->xDataLength <= sizeof( Tx_Buff[ 0 ] ) ); in xNetworkInterfaceOutput()
549 configASSERT( bIsValidNetworkDescriptor( pxReceivedBuffer ) != 0 ); in prvNetworkInterfaceInput()
/FreeRTOS-Plus-TCP-v3.1.0/source/portable/BufferManagement/
HDBufferAllocation_2.c125 configASSERT( xNetworkBufferSemaphore != NULL ); in xNetworkBuffersInitialise()
202 configASSERT( pucEthernetBuffer != NULL ); in pucGetNetworkBuffer()
261 configASSERT( pxReturn->pucEthernetBuffer == NULL ); in pxGetNetworkBufferWithDescriptor()
/FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/xilinx_ultrascale/
HDx_emacpsif_dma.c252 configASSERT( iReleaseAfterSend != pdFALSE ); in emacps_send_message()
557 configASSERT( xemacpsif->rxSegments ); in init_dma()
558 configASSERT( xemacpsif->txSegments ); in init_dma()
559 …configASSERT( ( ( ( uintptr_t ) xemacpsif->rxSegments ) % XEMACPS_DMABD_MINIMUM_ALIGNMENT ) == 0 ); in init_dma()
560 …configASSERT( ( ( ( uintptr_t ) xemacpsif->txSegments ) % XEMACPS_DMABD_MINIMUM_ALIGNMENT ) == 0 ); in init_dma()
585 configASSERT( xTXDescriptorSemaphore != NULL ); in init_dma()
/FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/MPS2_AN385/
HDNetworkInterface.c201 configASSERT( xRxTaskHandle ); in EthernetISR()
237 configASSERT( xReturn != pdFALSE ); in xNetworkInterfaceInitialise()
353 configASSERT( xRxTaskHandle == ( TaskHandle_t ) 1 ); in vNetworkInterfaceAllocateRAMToBuffers()
/FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/WinPCap/
HDNetworkInterface.c177 configASSERT( xSendBuffer ); in prvCreateThreadSafeBuffers()
187 configASSERT( xRecvBuffer ); in prvCreateThreadSafeBuffers()
200 configASSERT( xIsCallingFromIPTask() == pdTRUE ); in xNetworkInterfaceOutput()
703 configASSERT( 0 ); in vNetworkInterfaceAllocateRAMToBuffers()
/FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/DriverSAM/
HDNetworkInterface.c437 configASSERT( xEMACTaskHandle ); in xNetworkInterfaceInitialise()
443 configASSERT( xTxBufferQueue ); in xNetworkInterfaceInitialise()
449 configASSERT( xTXDescriptorSemaphore ); in xNetworkInterfaceInitialise()
541 configASSERT( bReleaseAfterSend != pdFALSE ); in xNetworkInterfaceOutput()
856 configASSERT( xEMACTaskHandle ); in prvEMACHandlerTask()
/FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/SH2A/
HDNetworkInterface.c95 configASSERT( xEMACRxEventSemaphore ); in xNetworkInterfaceInitialise()
/FreeRTOS-Plus-TCP-v3.1.0/test/Coverity/ConfigFiles/
HDFreeRTOSConfig.h115 #define configASSERT( x ) macro
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_IP_DiffConfig/
HDFreeRTOSConfig.h117 #define configASSERT( x ) macro
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_ICMP_wo_assert/
HDFreeRTOSConfig.h117 #define configASSERT( x ) macro
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Sockets_DiffConfig/
HDFreeRTOSConfig.h117 #define configASSERT( x ) macro
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP_Utils_DiffConfig/
HDFreeRTOSConfig.h117 #define configASSERT( x ) macro
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP_DiffConfig/
HDFreeRTOSConfig.h117 #define configASSERT( x ) macro

12