| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_UDP_IP/ |
| D | FreeRTOS_UDP_IP_utest.c | 77 uint16_t usPort,
156 uint16_t usPort = 0x1234; in test_xProcessReceivedUDPPacket_NullNetworkBuffer() local
159 catch_assert( xProcessReceivedUDPPacket( NULL, usPort, &xIsWaitingForARPResolution ) ); in test_xProcessReceivedUDPPacket_NullNetworkBuffer()
167 uint16_t usPort = 0x1234; in test_xProcessReceivedUDPPacket_NullBuffer() local
174 … catch_assert( xProcessReceivedUDPPacket( &xNetworkBuffer, usPort, &xIsWaitingForARPResolution ) ); in test_xProcessReceivedUDPPacket_NullBuffer()
184 uint16_t usPort = 0x1234; in test_xProcessReceivedUDPPacket_IPv4Packet() local
196 …xProcessReceivedUDPPacket_IPv4_ExpectAndReturn( &xNetworkBuffer, usPort, &xIsWaitingForARPResoluti… in test_xProcessReceivedUDPPacket_IPv4Packet()
198 xReturn = xProcessReceivedUDPPacket( &xNetworkBuffer, usPort, &xIsWaitingForARPResolution ); in test_xProcessReceivedUDPPacket_IPv4Packet()
210 uint16_t usPort = 0x1234; in test_xProcessReceivedUDPPacket_IPv6Packet() local
222 …xProcessReceivedUDPPacket_IPv6_ExpectAndReturn( &xNetworkBuffer, usPort, &xIsWaitingForARPResoluti… in test_xProcessReceivedUDPPacket_IPv6Packet()
[all …]
|
| D | FreeRTOS_UDP_IP_list_macros.h | 82 uint16_t usPort,
86 uint16_t usPort,
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/ |
| D | FreeRTOS_UDP_IPv4.c | 98 if( pxNetworkBuffer->usPort == ( uint16_t ) ipPACKET_CONTAINS_ICMP_DATA ) in vProcessGeneratedUDPPacket_IPv4()
132 if( pxNetworkBuffer->usPort != ( uint16_t ) ipPACKET_CONTAINS_ICMP_DATA ) in vProcessGeneratedUDPPacket_IPv4()
139 pxUDPHeader->usDestinationPort = pxNetworkBuffer->usPort; in vProcessGeneratedUDPPacket_IPv4()
184 if( pxNetworkBuffer->usPort == ( uint16_t ) ipPACKET_CONTAINS_ICMP_DATA ) in vProcessGeneratedUDPPacket_IPv4()
344 uint16_t usPort, in xProcessReceivedUDPPacket_IPv4() argument
363 pxSocket = pxUDPSocketLookup( usPort ); in xProcessReceivedUDPPacket_IPv4()
403 xSourceAddress.sin_port = pxNetworkBuffer->usPort; in xProcessReceivedUDPPacket_IPv4()
407 destinationAddress.sin_port = usPort; in xProcessReceivedUDPPacket_IPv4()
514 if( ( usPort == FreeRTOS_ntohs( ipLLMNR_PORT ) ) || in xProcessReceivedUDPPacket_IPv4()
526 if( ( usPort == FreeRTOS_ntohs( ipMDNS_PORT ) ) || in xProcessReceivedUDPPacket_IPv4()
[all …]
|
| D | FreeRTOS_UDP_IP.c | 139 uint16_t usPort, in xProcessReceivedUDPPacket() argument
160 usPort, pxIsWaitingForARPResolution ); in xProcessReceivedUDPPacket()
166 usPort, pxIsWaitingForARPResolution ); in xProcessReceivedUDPPacket()
|
| D | FreeRTOS_UDP_IPv6.c | 231 if( pxNetworkBuffer->usPort == ( uint16_t ) ipPACKET_CONTAINS_ICMP_DATA ) in vProcessGeneratedUDPPacket_IPv6()
261 if( pxNetworkBuffer->usPort == ( uint16_t ) ipPACKET_CONTAINS_ICMP_DATA ) in vProcessGeneratedUDPPacket_IPv6()
285 pxUDPHeader->usDestinationPort = pxNetworkBuffer->usPort; in vProcessGeneratedUDPPacket_IPv6()
321 if( pxNetworkBuffer->usPort == ( uint16_t ) ipPACKET_CONTAINS_ICMP_DATA ) in vProcessGeneratedUDPPacket_IPv6()
426 uint16_t usPort, in xProcessReceivedUDPPacket_IPv6() argument
447 pxSocket = pxUDPSocketLookup( usPort ); in xProcessReceivedUDPPacket_IPv6()
493 xSourceAddress.sin_port = pxNetworkBuffer->usPort; in xProcessReceivedUDPPacket_IPv6()
494 destinationAddress.sin_port = usPort; in xProcessReceivedUDPPacket_IPv6()
603 if( ( usPort == FreeRTOS_htons( ipLLMNR_PORT ) ) || in xProcessReceivedUDPPacket_IPv6()
613 if( ( usPort == FreeRTOS_ntohs( ipMDNS_PORT ) ) || in xProcessReceivedUDPPacket_IPv6()
[all …]
|
| D | FreeRTOS_DNS_Networking.c | 47 uint16_t usPort ) in DNS_BindSocket() argument
54 xAddress.sin_port = usPort; in DNS_BindSocket()
|
| D | FreeRTOS_DNS.c | 1076 uint16_t usPort ) in prvDNSReply() argument
1090 if( FreeRTOS_ntohs( usPort ) == ipMDNS_PORT ) /* mDNS port 5353. */ in prvDNSReply()
1120 usPort ); in prvDNSReply()
1277 uint16_t usPort = 0U; in prvGetHostByNameOp() local
1282 usPort = FreeRTOS_htons( ipMDNS_PORT ); in prvGetHostByNameOp()
1286 if( DNS_BindSocket( xDNSSocket, usPort ) != 0 ) in prvGetHostByNameOp()
1288 FreeRTOS_printf( ( "DNS bind to %u failed\n", FreeRTOS_ntohs( usPort ) ) ); in prvGetHostByNameOp()
1606 FreeRTOS_ntohs( pxNetworkBuffer->usPort ) ); in ulDNSHandlePacket()
|
| D | FreeRTOS_IPv4_Sockets.c | 265 pxSourceAddress->sin_port = pxNetworkBuffer->usPort; in xRecv_Update_IPv4()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DNS_Networking/ |
| D | FreeRTOS_DNS_Networking_utest.c | 142 uint16_t usPort; in test_BindSocket_fail() local
147 ret = DNS_BindSocket( xSocket, usPort ); in test_BindSocket_fail()
159 uint16_t usPort; in test_BindSocket_success() local
164 ret = DNS_BindSocket( xSocket, usPort ); in test_BindSocket_success()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/parsing/ProcessReceivedUDPPacket/ |
| D | ProcessReceivedUDPPacket_harness.c | 61 uint16_t usPort, in xProcessReceivedUDPPacket_IPv6() argument
95 uint16_t usPort; in harness() local
113 xProcessReceivedUDPPacket( pxNetworkBuffer, usPort, pxIsWaitingForARPResolution ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DNS_Parser/ |
| D | FreeRTOS_DNS_Parser_utest.c | 1260 uint16_t usPort; in test_DNS_ParseDNSReply_fail_small_buffer() local
1266 usPort ); in test_DNS_ParseDNSReply_fail_small_buffer()
1280 uint16_t usPort; in test_DNS_ParseDNSReply_fail_no_namefield() local
1286 usPort ); in test_DNS_ParseDNSReply_fail_no_namefield()
1302 uint16_t usPort; in test_DNS_ParseDNSReply_fail() local
1314 usPort ); in test_DNS_ParseDNSReply_fail()
1329 uint16_t usPort; in test_DNS_ParseDNSReply_fail_empty_namefield() local
1344 usPort ); in test_DNS_ParseDNSReply_fail_empty_namefield()
1358 uint16_t usPort; in test_DNS_ParseDNSReply_fail_not_enough_space_lt_32() local
1402 usPort ); in test_DNS_ParseDNSReply_fail_not_enough_space_lt_32()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/parsing/ProcessReceivedUDPPacket_IPv6/ |
| D | ProcessReceivedUDPPacket_IPv6_harness.c | 84 uint16_t usPort; in harness() local
102 xProcessReceivedUDPPacket_IPv6( pxNetworkBuffer, usPort, pxIsWaitingForARPResolution ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets/ |
| D | FreeRTOS_Sockets_UDP_API_utest.c | 361 xNetworkBuffer.usPort = 0xABCD; in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_JustUDPHeader()
421 xNetworkBuffer.usPort = 0xABCD; in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_Packet100()
483 xNetworkBuffer.usPort = 0xABCD; in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_Packet100SizeSmall()
546 xNetworkBuffer.usPort = 0xABCD; in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_Packet100SizeSmall_Peek()
604 xNetworkBuffer.usPort = 0xABCD; in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_Packet100SizeSmall_Peek_SourceAddrNULL()
662 xNetworkBuffer.usPort = 0xABCD; in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_Packet100SizeSmall_ZeroCopyAndPeek()
720 xNetworkBuffer.usPort = 0xABCD; in test_FreeRTOS_recvfrom_BlockingGetsPacketInBegining_Packet100SizeSmall_ZeroCopyAndPeek()
769 xNetworkBuffer.usPort = 0xABCD; in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_IPv6Packet100()
830 xNetworkBuffer.usPort = 0xABCD; in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_UnknownIPHeaderSize()
1012 TEST_ASSERT_EQUAL( xNetworkBuffer.usPort, xDestinationAddress.sin_port ); in test_FreeRTOS_sendto_IPTaskCalling_NonZeroCopy()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/include/ |
| D | FreeRTOS_DNS_Networking.h | 49 uint16_t usPort );
|
| D | FreeRTOS_DNS_Parser.h | 67 uint16_t usPort );
|
| D | FreeRTOS_IP_Private.h | 475 uint16_t usPort,
479 uint16_t usPort,
483 uint16_t usPort,
|
| D | IPTraceMacroDefaults.h | 178 #define iptraceBIND_FAILED( xSocket, usPort ) argument
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_UDP_IPv4/ |
| D | FreeRTOS_UDP_IPv4_utest.c | 767 xNetworkBuffer.usPort = FreeRTOS_htons( usSrcPort ); in test_xProcessReceivedUDPPacket_IPv4_SocketRecvHandlerFail()
813 xNetworkBuffer.usPort = FreeRTOS_htons( usSrcPort ); in test_xProcessReceivedUDPPacket_IPv4_UDPListBufferFull()
865 xNetworkBuffer.usPort = FreeRTOS_htons( usSrcPort ); in test_xProcessReceivedUDPPacket_IPv4_Pass()
935 xNetworkBuffer.usPort = FreeRTOS_htons( usSrcPort ); in test_xProcessReceivedUDPPacket_IPv4_PassNoEventGroup()
1003 xNetworkBuffer.usPort = FreeRTOS_htons( usSrcPort ); in test_xProcessReceivedUDPPacket_IPv4_PassNoSelectBit()
1071 xNetworkBuffer.usPort = FreeRTOS_htons( usSrcPort ); in test_xProcessReceivedUDPPacket_IPv4_PassNoSelectSet()
1137 xNetworkBuffer.usPort = FreeRTOS_htons( usSrcPort ); in test_xProcessReceivedUDPPacket_IPv4_PassNoSem()
1204 xNetworkBuffer.usPort = FreeRTOS_htons( usSrcPort ); in test_xProcessReceivedUDPPacket_IPv4_PassNoDHCP()
1261 pxNetworkBuffer->usPort = ipPACKET_CONTAINS_ICMP_DATA; in test_vProcessGeneratedUDPPacket_IPv4_ICMPPingCantSend()
1287 pxNetworkBuffer->usPort = ipPACKET_CONTAINS_ICMP_DATA; in test_vProcessGeneratedUDPPacket_IPv4_ICMPPingCacheUnknown()
[all …]
|
| D | FreeRTOS_UDP_IPv4_stubs.c | 110 xNetworkBuffer.usPort = FreeRTOS_htons( usDestPort ); in prvPrepareDefaultNetworkbuffer()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_UDP_IPv6/ |
| D | FreeRTOS_UDP_IPv6_utest.c | 535 xNetworkBuffer.usPort = FreeRTOS_htons( usSrcPort ); in test_xProcessReceivedUDPPacket_IPv6_SocketRecvHandlerFail()
577 xNetworkBuffer.usPort = FreeRTOS_htons( usSrcPort ); in test_xProcessReceivedUDPPacket_IPv6_UDPListBufferFull()
625 xNetworkBuffer.usPort = FreeRTOS_htons( usSrcPort ); in test_xProcessReceivedUDPPacket_IPv6_Pass()
691 xNetworkBuffer.usPort = FreeRTOS_htons( usSrcPort ); in test_xProcessReceivedUDPPacket_IPv6_PassNoEventGroup()
756 xNetworkBuffer.usPort = FreeRTOS_htons( usSrcPort ); in test_xProcessReceivedUDPPacket_IPv6_PassNoSelectBit()
820 xNetworkBuffer.usPort = FreeRTOS_htons( usSrcPort ); in test_xProcessReceivedUDPPacket_IPv6_PassNoSelectSet()
882 xNetworkBuffer.usPort = FreeRTOS_htons( usSrcPort ); in test_xProcessReceivedUDPPacket_IPv6_PassNoSem()
945 xNetworkBuffer.usPort = FreeRTOS_htons( usSrcPort ); in test_xProcessReceivedUDPPacket_IPv6_PassNoDHCP()
1001 pxNetworkBuffer->usPort = ipPACKET_CONTAINS_ICMP_DATA; in test_vProcessGeneratedUDPPacket_IPv6_ICMPPingCantSend()
1026 pxNetworkBuffer->usPort = ipPACKET_CONTAINS_ICMP_DATA; in test_vProcessGeneratedUDPPacket_IPv6_ICMPPingCacheUnknown()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/DNSgetHostByName/ |
| D | DNSgetHostByName_harness.c | 35 uint16_t usPort );
73 uint16_t usPort ) in DNS_ParseDNSReply() argument
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv4_Sockets/ |
| D | FreeRTOS_IPv4_Sockets_utest.c | 298 xNetworkBuffer.usPort = usExpectPort; in test_xRecv_Update_IPv4_HappyCase()
326 xNetworkBuffer.usPort = usExpectPort; in test_xRecv_Update_IPv4_NullNetworkBuffer()
351 xNetworkBuffer.usPort = usExpectPort; in test_xRecv_Update_IPv4_NullDestinationAddress()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/ConfigFiles/ |
| D | IPTraceMacroDefaults.h | 128 #define iptraceBIND_FAILED( xSocket, usPort ) argument
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/parsing/ProcessIPPacket/ |
| D | ProcessIPPacket_harness.c | 22 uint16_t usPort ) in xProcessReceivedUDPPacket() argument
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/DNSgetHostByName_a/ |
| D | DNSgetHostByName_a_harness.c | 54 uint16_t usPort ) in DNS_ParseDNSReply() argument
|
