| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/Socket/vSocketClose/ |
| D | vSocketClose_harness.c | 29 TickType_t xBlockTimeTicks; in harness() local
85 …et->u.xTCP.pxAckMessage = pxGetNetworkBufferWithDescriptor( xRequestedSizeBytes, xBlockTimeTicks ); in harness()
100 … NetworkBuffer = pxGetNetworkBufferWithDescriptor( xRequestedSizeBytes, xBlockTimeTicks ); in harness()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/ARP/ARPAgeCache/ |
| D | ARPAgeCache_harness.c | 13 TickType_t xBlockTimeTicks ) in pxGetNetworkBufferWithDescriptor() argument
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/ARP/ARP_FreeRTOS_OutputARPRequest/ |
| D | OutputARPRequest_harness.c | 55 TickType_t xBlockTimeTicks ) in pxGetNetworkBufferWithDescriptor() argument
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/ConfigFiles/ |
| D | NetworkBufferManagement.h | 38 TickType_t xBlockTimeTicks );
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/include/ |
| D | NetworkBufferManagement.h | 40 TickType_t xBlockTimeTicks );
|
| D | FreeRTOS_Sockets.h | 513 TickType_t xBlockTimeTicks );
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/stubs/ |
| D | freertos_api.c | 215 TickType_t xBlockTimeTicks ) in FreeRTOS_GetUDPPayloadBuffer() argument
253 TickType_t xBlockTimeTicks ) in pxGetNetworkBufferWithDescriptor() argument
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/TCP/prvTCPPrepareSend/ |
| D | TCPPrepareSend_harness.c | 48 TickType_t xBlockTimeTicks ) in pxGetNetworkBufferWithDescriptor() argument
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/BufferManagement/ |
| D | BufferAllocation_1.c | 234 TickType_t xBlockTimeTicks ) in pxGetNetworkBufferWithDescriptor() argument
248 if( xSemaphoreTake( xNetworkBufferSemaphore, xBlockTimeTicks ) == pdPASS ) in pxGetNetworkBufferWithDescriptor()
|
| D | BufferAllocation_2.c | 232 TickType_t xBlockTimeTicks ) in pxGetNetworkBufferWithDescriptor() argument
242 if( xSemaphoreTake( xNetworkBufferSemaphore, xBlockTimeTicks ) == pdPASS ) in pxGetNetworkBufferWithDescriptor()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/parsing/ProcessReceivedTCPPacket/ |
| D | ProcessReceivedTCPPacket_harness.c | 90 TickType_t xBlockTimeTicks ) in pxGetNetworkBufferWithDescriptor() argument
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/STM32Hxx/ |
| D | NetworkInterface.c | 349 TickType_t xBlockTimeTicks = pdMS_TO_TICKS( 100U ); in xNetworkInterfaceOutput() local
378 if( xSemaphoreTake( xTXDescriptorSemaphore, xBlockTimeTicks ) != pdPASS ) in xNetworkInterfaceOutput()
391 if( xSemaphoreTake( xTransmissionMutex, xBlockTimeTicks ) != pdFAIL ) in xNetworkInterfaceOutput()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/pic32mzef/ |
| D | BufferAllocation_2.c | 384 TickType_t xBlockTimeTicks ) in pxGetNetworkBufferWithDescriptor() argument
412 if( xSemaphoreTake( xNetworkBufferSemaphore, xBlockTimeTicks ) == pdPASS ) in pxGetNetworkBufferWithDescriptor()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/ATSAM4E/ |
| D | NetworkInterface.c | 267 const TickType_t xBlockTimeTicks = pdMS_TO_TICKS( 50u ); in xNetworkInterfaceOutput() local
283 if( xSemaphoreTake( xTXDescriptorSemaphore, xBlockTimeTicks ) != pdPASS ) in xNetworkInterfaceOutput()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Sockets/ |
| D | FreeRTOS_Sockets_GenericAPI_utest.c | 763 TickType_t xBlockTimeTicks; in test_FreeRTOS_select_CatchAssert() local
766 catch_assert( FreeRTOS_select( xSocketSet, xBlockTimeTicks ) ); in test_FreeRTOS_select_CatchAssert()
777 TickType_t xBlockTimeTicks = 0xAB12; in test_FreeRTOS_select_BitsMatched() local
781 …etSet->xSelectGroup, ( ( EventBits_t ) eSELECT_ALL ), pdFALSE, pdFALSE, xBlockTimeTicks, pdFALSE ); in test_FreeRTOS_select_BitsMatched()
789 xReturn = FreeRTOS_select( xSocketSet, xBlockTimeTicks ); in test_FreeRTOS_select_BitsMatched()
802 TickType_t xBlockTimeTicks = 0xAB12; in test_FreeRTOS_select_Timeout() local
806 …etSet->xSelectGroup, ( ( EventBits_t ) eSELECT_ALL ), pdFALSE, pdFALSE, xBlockTimeTicks, pdFALSE ); in test_FreeRTOS_select_Timeout()
816 xReturn = FreeRTOS_select( xSocketSet, xBlockTimeTicks ); in test_FreeRTOS_select_Timeout()
829 TickType_t xBlockTimeTicks = 0xAB12; in test_FreeRTOS_select_TimeoutSecondTime() local
835 …etSet->xSelectGroup, ( ( EventBits_t ) eSELECT_ALL ), pdFALSE, pdFALSE, xBlockTimeTicks, pdFALSE ); in test_FreeRTOS_select_TimeoutSecondTime()
[all …]
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/Zynq/ |
| D | x_emacpsif_dma.c | 218 TickType_t xBlockTimeTicks = pdMS_TO_TICKS( 5000u ); in emacps_send_message() local
238 if( xSemaphoreTake( xTXDescriptorSemaphore, xBlockTimeTicks ) != pdPASS ) in emacps_send_message()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/xilinx_ultrascale/ |
| D | x_emacpsif_dma.c | 249 TickType_t xBlockTimeTicks = pdMS_TO_TICKS( 5000U ); in emacps_send_message() local
269 if( xSemaphoreTake( xTXDescriptorSemaphore, xBlockTimeTicks ) != pdPASS ) in emacps_send_message()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/DriverSAM/ |
| D | NetworkInterface.c | 501 const TickType_t xBlockTimeTicks = pdMS_TO_TICKS( 50u ); in xNetworkInterfaceOutput() local
531 if( xSemaphoreTake( xTXDescriptorSemaphore, xBlockTimeTicks ) != pdPASS ) in xNetworkInterfaceOutput()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/LPC18xx/ |
| D | NetworkInterface.c | 415 const TickType_t xBlockTimeTicks = pdMS_TO_TICKS( 50 ); in xNetworkInterfaceOutput() local
425 if( xSemaphoreTake( xTXDescriptorSemaphore, xBlockTimeTicks ) != pdPASS ) in xNetworkInterfaceOutput()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/STM32Fxx/ |
| D | NetworkInterface.c | 670 const TickType_t xBlockTimeTicks = pdMS_TO_TICKS( 50u ); in xNetworkInterfaceOutput() local
692 if( xSemaphoreTake( xTXDescriptorSemaphore, xBlockTimeTicks ) != pdPASS ) in xNetworkInterfaceOutput()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/ |
| D | FreeRTOS_Sockets.c | 711 TickType_t xBlockTimeTicks ) in FreeRTOS_select() argument
721 xRemainingTime = xBlockTimeTicks; in FreeRTOS_select()
|
