Searched refs:vListInsertEnd (Results 1 – 10 of 10) sorted by relevance
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/CheckOptionsInner/ |
| D | CheckOptionsInner_harness.c | 63 vListInsertEnd( &pxSocket->u.xTCP.xTCPWindow.xWaitQueue, &segment->xQueueItem ); in harness()
74 vListInsertEnd( &pxSocket->u.xTCP.xTCPWindow.xTxSegments, &segment->xQueueItem ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/vSocketClose/ |
| D | vSocketClose_harness.c | 63 vListInsertEnd( &BoundSocketList, &( pxSocket->xBoundSocketListItem ) ); in harness()
114 … vListInsertEnd( &( pxSocket->u.xUDP.xWaitingPacketsList ), &( NetworkBuffer->xBufferListItem ) ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/stubs/ |
| D | freertos_kernel_api.c | 41 void vListInsertEnd( List_t * const pxList, in vListInsertEnd() function
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/ |
| D | FreeRTOS_DNS_Callback.c | 168 vListInsertEnd( &xCallbackList, &pxCallback->xListItem ); in vDNSSetCallBack()
225 vListInsertEnd( &( xTempList ), &pxCallback->xListItem ); in vDNSCheckCallBack()
|
| D | FreeRTOS_UDP_IPv4.c | 452 …vListInsertEnd( &( pxSocket->u.xUDP.xWaitingPacketsList ), &( pxNetworkBuffer->xBufferListItem ) ); in xProcessReceivedUDPPacket_IPv4()
|
| D | FreeRTOS_UDP_IPv6.c | 543 …vListInsertEnd( &( pxSocket->u.xUDP.xWaitingPacketsList ), &( pxNetworkBuffer->xBufferListItem ) ); in xProcessReceivedUDPPacket_IPv6()
|
| D | FreeRTOS_Sockets.c | 1864 vListInsertEnd( pxSocketList, &( pxSocket->xBoundSocketListItem ) ); in prvSocketBindAdd()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/BufferManagement/ |
| D | BufferAllocation_1.c | 369 vListInsertEnd( &xFreeBuffersList, &( pxNetworkBuffer->xBufferListItem ) ); in vNetworkBufferReleaseFromISR()
399 vListInsertEnd( &xFreeBuffersList, &( pxNetworkBuffer->xBufferListItem ) ); in vReleaseNetworkBufferAndDescriptor()
|
| D | BufferAllocation_2.c | 359 vListInsertEnd( &xFreeBuffersList, &( pxNetworkBuffer->xBufferListItem ) ); in vReleaseNetworkBufferAndDescriptor()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/pic32mzef/ |
| D | BufferAllocation_2.c | 515 vListInsertEnd( &xFreeBuffersList, &( pxNetworkBuffer->xBufferListItem ) ); in vReleaseNetworkBufferAndDescriptor()
|
