| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/IP/HandleEthernetPacket/ |
| HD | HandleEthernetPacket_harness.c | 56 TickType_t xBlockTimeTicks ) in pxGetNetworkBufferWithDescriptor() argument
75 TickType_t xBlockTimeTicks; in harness() local
82 pxBuffer = pxGetNetworkBufferWithDescriptor( uBuffSize, xBlockTimeTicks ); in harness()
83 pxBuffer->pxNextBuffer = pxGetNetworkBufferWithDescriptor( uBuffSize, xBlockTimeTicks ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/vSocketClose/ |
| HD | 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-v4.0.0/test/unit-test/ConfigFiles/ |
| HD | NetworkBufferManagement.h | 38 TickType_t xBlockTimeTicks );
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/include/ |
| HD | NetworkBufferManagement.h | 47 TickType_t xBlockTimeTicks );
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/IPUtils/pxDuplicateNetworkBufferWithDescriptor/ |
| HD | pxDuplicateNetworkBufferWithDescriptor_harness.c | 42 TickType_t xBlockTimeTicks ) in pxGetNetworkBufferWithDescriptor() argument
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/parsing/ProcessReceivedTCPPacket/ |
| HD | ProcessReceivedTCPPacket_harness.c | 72 TickType_t xBlockTimeTicks ) in pxGetNetworkBufferWithDescriptor() argument
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/BufferManagement/ |
| HD | BufferAllocation_1.c | 234 TickType_t xBlockTimeTicks ) in pxGetNetworkBufferWithDescriptor() argument
248 if( xSemaphoreTake( xNetworkBufferSemaphore, xBlockTimeTicks ) == pdPASS ) in pxGetNetworkBufferWithDescriptor()
|
| HD | BufferAllocation_2.c | 231 TickType_t xBlockTimeTicks ) in pxGetNetworkBufferWithDescriptor() argument
241 if( xSemaphoreTake( xNetworkBufferSemaphore, xBlockTimeTicks ) == pdPASS ) in pxGetNetworkBufferWithDescriptor()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/ARPAgeCache/ |
| HD | ARPAgeCache_harness.c | 13 TickType_t xBlockTimeTicks ) in pxGetNetworkBufferWithDescriptor() argument
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvTCPPrepareSend/ |
| HD | TCPPrepareSend_harness.c | 48 TickType_t xBlockTimeTicks ) in pxGetNetworkBufferWithDescriptor() argument
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/RA/vReceiveRA/ |
| HD | ReceiveRA_harness.c | 53 TickType_t xBlockTimeTicks ) in pxGetNetworkBufferWithDescriptor() argument
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/parsing/ProcessReceivedTCPPacket_IPv6/ |
| HD | ProcessReceivedTCPPacket_IPv6_harness.c | 73 TickType_t xBlockTimeTicks ) in pxGetNetworkBufferWithDescriptor() argument
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/ARP_FreeRTOS_OutputARPRequest/ |
| HD | OutputARPRequest_harness.c | 55 TickType_t xBlockTimeTicks ) in pxGetNetworkBufferWithDescriptor() argument
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/xCheckRequiresARPResolution/ |
| HD | xCheckRequiresARPResolution_harness.c | 71 TickType_t xBlockTimeTicks ) in pxGetNetworkBufferWithDescriptor() argument
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/pic32mzef/ |
| HD | BufferAllocation_2.c | 384 TickType_t xBlockTimeTicks ) in pxGetNetworkBufferWithDescriptor() argument
412 if( xSemaphoreTake( xNetworkBufferSemaphore, xBlockTimeTicks ) == pdPASS ) in pxGetNetworkBufferWithDescriptor()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCP/DHCPProcessEndPoint/ |
| HD | DHCPProcessEndPoint_harness.c | 112 TickType_t xBlockTimeTicks ) in pxGetNetworkBufferWithDescriptor() argument
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/DNSgetHostByName_a/ |
| HD | DNSgetHostByName_a_harness.c | 117 TickType_t xBlockTimeTicks ) in pxGetNetworkBufferWithDescriptor() argument
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCP/DHCPProcess/ |
| HD | DHCPProcess_harness.c | 116 TickType_t xBlockTimeTicks ) in pxGetNetworkBufferWithDescriptor() argument
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/ATSAM4E/ |
| HD | NetworkInterface.c | 271 const TickType_t xBlockTimeTicks = pdMS_TO_TICKS( 50u ); in xNetworkInterfaceOutput() local
287 if( xSemaphoreTake( xTXDescriptorSemaphore, xBlockTimeTicks ) != pdPASS ) in xNetworkInterfaceOutput()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/STM32Hxx/ |
| HD | NetworkInterface.c | 534 TickType_t xBlockTimeTicks = pdMS_TO_TICKS( 100U ); in xSTM32H_NetworkInterfaceOutput() local
563 if( xSemaphoreTake( xTXDescriptorSemaphore, xBlockTimeTicks ) != pdPASS ) in xSTM32H_NetworkInterfaceOutput()
576 if( xSemaphoreTake( xTransmissionMutex, xBlockTimeTicks ) != pdFAIL ) in xSTM32H_NetworkInterfaceOutput()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/DNSgetHostByName/ |
| HD | DNSgetHostByName_harness.c | 183 TickType_t xBlockTimeTicks ) in pxGetNetworkBufferWithDescriptor() argument
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets/ |
| HD | FreeRTOS_Sockets_GenericAPI_utest.c | 664 TickType_t xBlockTimeTicks; in test_FreeRTOS_select_CatchAssert() local
667 catch_assert( FreeRTOS_select( xSocketSet, xBlockTimeTicks ) ); in test_FreeRTOS_select_CatchAssert()
678 TickType_t xBlockTimeTicks = 0xAB12; in test_FreeRTOS_select_BitsMatched() local
682 …etSet->xSelectGroup, ( ( EventBits_t ) eSELECT_ALL ), pdFALSE, pdFALSE, xBlockTimeTicks, pdFALSE ); in test_FreeRTOS_select_BitsMatched()
690 xReturn = FreeRTOS_select( xSocketSet, xBlockTimeTicks ); in test_FreeRTOS_select_BitsMatched()
703 TickType_t xBlockTimeTicks = 0xAB12; in test_FreeRTOS_select_Timeout() local
707 …etSet->xSelectGroup, ( ( EventBits_t ) eSELECT_ALL ), pdFALSE, pdFALSE, xBlockTimeTicks, pdFALSE ); in test_FreeRTOS_select_Timeout()
717 xReturn = FreeRTOS_select( xSocketSet, xBlockTimeTicks ); in test_FreeRTOS_select_Timeout()
730 TickType_t xBlockTimeTicks = 0xAB12; in test_FreeRTOS_select_TimeoutSecondTime() local
736 …etSet->xSelectGroup, ( ( EventBits_t ) eSELECT_ALL ), pdFALSE, pdFALSE, xBlockTimeTicks, pdFALSE ); in test_FreeRTOS_select_TimeoutSecondTime()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/stubs/ |
| HD | freertos_api.c | 254 TickType_t xBlockTimeTicks ) in pxGetNetworkBufferWithDescriptor() argument
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/xilinx_ultrascale/ |
| HD | x_emacpsif_dma.c | 255 TickType_t xBlockTimeTicks = pdMS_TO_TICKS( 5000U ); in emacps_send_message() local
275 if( xSemaphoreTake( xTXDescriptorSemaphore, xBlockTimeTicks ) != pdPASS ) in emacps_send_message()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/Zynq/ |
| HD | x_emacpsif_dma.c | 258 TickType_t xBlockTimeTicks = pdMS_TO_TICKS( 5000U ); in emacps_send_message() local
278 if( xSemaphoreTake( xTXDescriptorSemaphores[ xEMACIndex ], xBlockTimeTicks ) != pdPASS ) in emacps_send_message()
|
