Home
last modified time | relevance | path

Searched refs:xFlags (Results 1 – 15 of 15) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DHCP/
HDFreeRTOS_DHCP_stubs.c267 BaseType_t xFlags, in RecvFromStub() argument
286 if( xFlags == FREERTOS_ZERO_COPY ) in RecvFromStub()
298 BaseType_t xFlags, in FreeRTOS_recvfrom_Generic() argument
303 if( xFlags == FREERTOS_ZERO_COPY ) in FreeRTOS_recvfrom_Generic()
314 BaseType_t xFlags, in FreeRTOS_recvfrom_Generic_NullBuffer() argument
327 BaseType_t xFlags, in FreeRTOS_recvfrom_eWaitingOfferRecvfromLessBytesNoTimeout() argument
332 if( xFlags == FREERTOS_ZERO_COPY ) in FreeRTOS_recvfrom_eWaitingOfferRecvfromLessBytesNoTimeout()
345 … BaseType_t xFlags, in FreeRTOS_recvfrom_ResetAndIncorrectStateWithSocketAlreadyCreated_validUDPmessage() argument
350 if( xFlags == FREERTOS_ZERO_COPY + FREERTOS_MSG_PEEK ) in FreeRTOS_recvfrom_ResetAndIncorrectStateWithSocketAlreadyCreated_validUDPmessage()
368 … BaseType_t xFlags, in FreeRTOS_recvfrom_ResetAndIncorrectStateWithSocketAlreadyCreated_validUDPmessage_TwoFlagOptions_nullbytes() argument
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets_DiffConfig2/
HDFreeRTOS_Sockets_DiffConfig2_UDP_API_utest.c61 BaseType_t xFlags; in test_FreeRTOS_sendto_MoreDataThanUDPPayload_UseTempDestinationAddress() local
67 …lResult = FreeRTOS_sendto( xSocket, pvBuffer, uxTotalDataLength, xFlags, &xDestinationAddress, xDe… in test_FreeRTOS_sendto_MoreDataThanUDPPayload_UseTempDestinationAddress()
82 BaseType_t xFlags; in test_FreeRTOS_sendto_MoreDataThanUDPPayload_IPv6DestinationAddress() local
88 …lResult = FreeRTOS_sendto( xSocket, pvBuffer, uxTotalDataLength, xFlags, &xDestinationAddress, xDe… in test_FreeRTOS_sendto_MoreDataThanUDPPayload_IPv6DestinationAddress()
103 BaseType_t xFlags; in test_FreeRTOS_sendto_MoreDataThanUDPPayload_IPv4DestinationAddress() local
109 …lResult = FreeRTOS_sendto( xSocket, pvBuffer, uxTotalDataLength, xFlags, &xDestinationAddress, xDe… in test_FreeRTOS_sendto_MoreDataThanUDPPayload_IPv4DestinationAddress()
124 BaseType_t xFlags; in test_FreeRTOS_sendto_MoreDataThanUDPPayload_NullDestinationAddress() local
127 …catch_assert( FreeRTOS_sendto( xSocket, pvBuffer, uxTotalDataLength, xFlags, NULL, xDestinationAdd… in test_FreeRTOS_sendto_MoreDataThanUDPPayload_NullDestinationAddress()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/prvRecvFrom_CopyPacket/
HDRecvFrom_CopyPacket_harness.c24 BaseType_t xFlags,
32 BaseType_t xFlags; in harness() local
44 __CPROVER_assume( xFlags == 0U ); in harness()
49 …ckets_c_prvRecvFrom_CopyPacket( pucEthernetBuffer, pvBuffer, uxBufferLength, xFlags, lDataLength ); in harness()
59 __CPROVER_assume( xFlags == FREERTOS_ZERO_COPY ); in harness()
60 …kets_c_prvRecvFrom_CopyPacket( pucEthernetBuffer, &pvBuffer, uxBufferLength, xFlags, lDataLength ); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets/
HDFreeRTOS_Sockets_UDP_API_utest.c78 BaseType_t xFlags = 0; in test_FreeRTOS_recvfrom_NullSocket() local
82 …lReturn = FreeRTOS_recvfrom( xSocket, pvBuffer, uxBufferLength, xFlags, pxSourceAddress, pxSourceA… in test_FreeRTOS_recvfrom_NullSocket()
97 BaseType_t xFlags = 0; in test_FreeRTOS_recvfrom_TCPSocket() local
107 …lReturn = FreeRTOS_recvfrom( xSocket, pvBuffer, uxBufferLength, xFlags, pxSourceAddress, pxSourceA… in test_FreeRTOS_recvfrom_TCPSocket()
122 BaseType_t xFlags = 0; in test_FreeRTOS_recvfrom_NonBlockingInterrupted() local
136 …lReturn = FreeRTOS_recvfrom( xSocket, pvBuffer, uxBufferLength, xFlags, pxSourceAddress, pxSourceA… in test_FreeRTOS_recvfrom_NonBlockingInterrupted()
151 BaseType_t xFlags = 0; in test_FreeRTOS_recvfrom_NonBlocking() local
165 …lReturn = FreeRTOS_recvfrom( xSocket, pvBuffer, uxBufferLength, xFlags, pxSourceAddress, pxSourceA… in test_FreeRTOS_recvfrom_NonBlocking()
180 BaseType_t xFlags = FREERTOS_MSG_DONTWAIT; in test_FreeRTOS_recvfrom_NonBlockingFlagSet() local
193 …lReturn = FreeRTOS_recvfrom( xSocket, pvBuffer, uxBufferLength, xFlags, pxSourceAddress, pxSourceA… in test_FreeRTOS_recvfrom_NonBlockingFlagSet()
[all …]
HDFreeRTOS_Sockets_TCP_API_utest.c64 BaseType_t xFlags );
374 BaseType_t xFlags = 0; in test_FreeRTOS_recv_InvalidValues() local
380 xReturn = FreeRTOS_recv( &xSocket, pvBuffer, uxBufferLength, xFlags ); in test_FreeRTOS_recv_InvalidValues()
384 xReturn = FreeRTOS_recv( NULL, pvBuffer, uxBufferLength, xFlags ); in test_FreeRTOS_recv_InvalidValues()
390 xReturn = FreeRTOS_recv( &xSocket, pvBuffer, uxBufferLength, xFlags ); in test_FreeRTOS_recv_InvalidValues()
393 xFlags = FREERTOS_ZERO_COPY; in test_FreeRTOS_recv_InvalidValues()
396 xReturn = FreeRTOS_recv( &xSocket, NULL, uxBufferLength, xFlags ); in test_FreeRTOS_recv_InvalidValues()
409 BaseType_t xFlags = 0; in test_FreeRTOS_recv_NotConnectedAndNoMemory() local
415 xReturn = FreeRTOS_recv( &xSocket, pvBuffer, uxBufferLength, xFlags ); in test_FreeRTOS_recv_NotConnectedAndNoMemory()
423 xReturn = FreeRTOS_recv( &xSocket, pvBuffer, uxBufferLength, xFlags ); in test_FreeRTOS_recv_NotConnectedAndNoMemory()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/source/
HDFreeRTOS_TCP_Utils.c68 const char * prvTCPFlagMeaning( UBaseType_t xFlags ) in prvTCPFlagMeaning() argument
70 size_t uxFlags = ( size_t ) xFlags; in prvTCPFlagMeaning()
HDFreeRTOS_Sockets.c161 BaseType_t xFlags,
167 BaseType_t xFlags,
242 BaseType_t xFlags );
252 BaseType_t xFlags );
263 BaseType_t xFlags );
344 BaseType_t xFlags,
350 BaseType_t xFlags,
1092 BaseType_t xFlags, in prvRecvFromWaitForPacket() argument
1122 if( ( ( ( UBaseType_t ) xFlags ) & ( ( UBaseType_t ) FREERTOS_MSG_DONTWAIT ) ) != 0U ) in prvRecvFromWaitForPacket()
1180 if( ( ( UBaseType_t ) xFlags & ( UBaseType_t ) FREERTOS_MSG_PEEK ) == 0U ) in prvRecvFromWaitForPacket()
[all …]
HDFreeRTOS_TCP_IP_IPv4.c74 const char * prvTCPFlagMeaning( UBaseType_t xFlags );
HDFreeRTOS_TCP_IP_IPv6.c74 const char * prvTCPFlagMeaning( UBaseType_t xFlags );
HDFreeRTOS_TCP_IP.c95 const char * prvTCPFlagMeaning( UBaseType_t xFlags );
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/stubs/
HDfreertos_api.c122 BaseType_t xFlags, in FreeRTOS_recvfrom() argument
133 __CPROVER_assert( xFlags & FREERTOS_ZERO_COPY, "I can only do ZERO_COPY" ); in FreeRTOS_recvfrom()
192 BaseType_t xFlags, in FreeRTOS_sendto() argument
/FreeRTOS-Plus-TCP-v4.0.0/source/include/
HDFreeRTOS_Sockets.h245 BaseType_t xFlags,
253 BaseType_t xFlags,
316 BaseType_t xFlags );
322 BaseType_t xFlags );
HDFreeRTOS_TCP_Utils.h42 const char * prvTCPFlagMeaning( UBaseType_t xFlags );
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCP/DHCPProcess/
HDDHCPProcess_harness.c149 BaseType_t xFlags, in FreeRTOS_recvfrom() argument
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCPv6/DHCPv6Process/
HDDHCPv6Process_harness.c134 BaseType_t xFlags, in FreeRTOS_recvfrom() argument