| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets/ |
| D | FreeRTOS_Sockets_UDP_API_utest.c | 78 BaseType_t xFlags = 0; in test_FreeRTOS_recvfrom_NullSocket() local
97 BaseType_t xFlags = 0; in test_FreeRTOS_recvfrom_TCPSocket() local
122 BaseType_t xFlags = 0; in test_FreeRTOS_recvfrom_NonBlockingInterrupted() local
151 BaseType_t xFlags = 0; in test_FreeRTOS_recvfrom_NonBlocking() local
180 BaseType_t xFlags = FREERTOS_MSG_DONTWAIT; in test_FreeRTOS_recvfrom_NonBlockingFlagSet() local
208 BaseType_t xFlags = 0; in test_FreeRTOS_recvfrom_BlockingButTimeout() local
244 BaseType_t xFlags = 0; in test_FreeRTOS_recvfrom_BlockingButTimeoutSecondTime() local
286 BaseType_t xFlags = 0; in test_FreeRTOS_recvfrom_BlockingButInterrupted() local
317 BaseType_t xFlags = 0; in test_FreeRTOS_recvfrom_BlockingButInterruptedAndReceived() local
351 BaseType_t xFlags = 0; in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_JustUDPHeader() local
[all …]
|
| D | FreeRTOS_Sockets_TCP_API_utest.c | 374 BaseType_t xFlags = 0; in test_FreeRTOS_recv_InvalidValues() local
409 BaseType_t xFlags = 0; in test_FreeRTOS_recv_NotConnectedAndNoMemory() local
436 BaseType_t xFlags = 0; in test_FreeRTOS_recv_EstablishedConnection_NoWait() local
460 BaseType_t xFlags = 0; in test_FreeRTOS_recv_TimeOut() local
487 BaseType_t xFlags = 0; in test_FreeRTOS_recv_Interrupted() local
516 BaseType_t xFlags = 0; in test_FreeRTOS_recv_Interrupted1() local
547 BaseType_t xFlags = 0; in test_FreeRTOS_recv_RxStreamNULL() local
578 BaseType_t xFlags = 0; in test_FreeRTOS_recv_12BytesAlreadyInBuffer() local
606 BaseType_t xFlags = 0; in test_FreeRTOS_recv_LowWaterReached() local
642 BaseType_t xFlags = 0; in test_FreeRTOS_recv_LowWaterReached2() local
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DHCP/ |
| D | FreeRTOS_DHCP_stubs.c | 267 BaseType_t xFlags, in RecvFromStub()
298 BaseType_t xFlags, in FreeRTOS_recvfrom_Generic()
314 BaseType_t xFlags, in FreeRTOS_recvfrom_Generic_NullBuffer()
327 BaseType_t xFlags, in FreeRTOS_recvfrom_eWaitingOfferRecvfromLessBytesNoTimeout()
345 … BaseType_t xFlags, in FreeRTOS_recvfrom_ResetAndIncorrectStateWithSocketAlreadyCreated_validUDPmessage()
368 … BaseType_t xFlags, in FreeRTOS_recvfrom_ResetAndIncorrectStateWithSocketAlreadyCreated_validUDPmessage_TwoFlagOptions_nullbytes()
400 … BaseType_t xFlags, in FreeRTOS_recvfrom_ResetAndIncorrectStateWithSocketAlreadyCreated_validUDPmessage_TwoFlagOptions_nullbuffer()
428 … BaseType_t xFlags, in FreeRTOS_recvfrom_ResetAndIncorrectStateWithSocketAlreadyCreated_validUDPmessage_IncorrectDHCPCookie()
451 … BaseType_t xFlags, in FreeRTOS_recvfrom_ResetAndIncorrectStateWithSocketAlreadyCreated_validUDPmessage_IncorrectOpCode()
474 … BaseType_t xFlags, in FreeRTOS_recvfrom_eWaitingOfferRecvfromSucceedsFalseCookieNoTimeout()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets_DiffConfig2/ |
| D | FreeRTOS_Sockets_DiffConfig2_UDP_API_utest.c | 61 BaseType_t xFlags; in test_FreeRTOS_sendto_MoreDataThanUDPPayload_UseTempDestinationAddress() local
82 BaseType_t xFlags; in test_FreeRTOS_sendto_MoreDataThanUDPPayload_IPv6DestinationAddress() local
103 BaseType_t xFlags; in test_FreeRTOS_sendto_MoreDataThanUDPPayload_IPv4DestinationAddress() local
124 BaseType_t xFlags; in test_FreeRTOS_sendto_MoreDataThanUDPPayload_NullDestinationAddress() local
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/ |
| D | FreeRTOS_TCP_Utils.c | 68 const char * prvTCPFlagMeaning( UBaseType_t xFlags ) in prvTCPFlagMeaning()
|
| D | FreeRTOS_Sockets.c | 1092 BaseType_t xFlags, in prvRecvFromWaitForPacket()
1210 BaseType_t xFlags, in prvRecvFrom_CopyPacket()
1268 BaseType_t xFlags, in FreeRTOS_recvfrom()
1404 BaseType_t xFlags, in prvSendUDPPacket()
1488 BaseType_t xFlags, in prvSendTo_ActualSend()
1578 BaseType_t xFlags, in FreeRTOS_sendto()
4074 BaseType_t xFlags ) in prvRecvData()
4129 BaseType_t xFlags ) in prvRecvWait()
4247 BaseType_t xFlags ) in FreeRTOS_recv()
4428 BaseType_t xFlags ) in prvTCPSendLoop()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/prvRecvFrom_CopyPacket/ |
| D | RecvFrom_CopyPacket_harness.c | 32 BaseType_t xFlags; in harness() local
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/stubs/ |
| D | freertos_api.c | 122 BaseType_t xFlags, in FreeRTOS_recvfrom()
192 BaseType_t xFlags, in FreeRTOS_sendto()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCP/DHCPProcess/ |
| D | DHCPProcess_harness.c | 149 BaseType_t xFlags, in FreeRTOS_recvfrom()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCPv6/DHCPv6Process/ |
| D | DHCPv6Process_harness.c | 134 BaseType_t xFlags, in FreeRTOS_recvfrom()
|
