| /FreeRTOS-Plus-TCP-v3.1.0/source/include/ |
| D | FreeRTOS_ARP.h | 52 MACAddress_t xMACAddress; /**< The MAC address of an ARP cache entry. */
70 void vARPRefreshCacheEntry( const MACAddress_t * pxMACAddress,
77 extern MACAddress_t xARPClashMacAddress;
86 uint32_t ulARPRemoveCacheEntryByMac( const MACAddress_t * pxMACAddress );
104 MACAddress_t * const pxMACAddress );
109 eARPLookupResult_t eARPGetCacheEntryByMac( const MACAddress_t * const pxMACAddress,
|
| D | FreeRTOS_IP_Private.h | 80 MACAddress_t xDestinationAddress; /**< Destination address 0 + 6 = 6 */
81 MACAddress_t xSourceAddress; /**< Source address 6 + 6 = 12 */
95 …MACAddress_t xSenderHardwareAddress; /**< Media address of the sender 8 + 6 =…
97 …MACAddress_t xTargetHardwareAddress; /**< Media address of the intended receiver 18 + 6 =…
345 extern const MACAddress_t xBroadcastMACAddress; /* all 0xff's */
|
| D | FreeRTOS_IP.h | 186 typedef struct xMAC_ADDRESS MACAddress_t; variable
371 MACAddress_t * pxMACAddress );
411 #define xMACAddress_t MACAddress_t
|
| D | FreeRTOS_DNS.h | 49 extern const MACAddress_t xLLMNR_MacAdress;
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/ |
| D | FreeRTOS_ARP.c | 86 MACAddress_t * const pxMACAddress );
111 MACAddress_t xARPClashMacAddress;
272 sizeof( MACAddress_t ) ); in eARPProcessPacket()
283 ( void ) memcpy( pvCopyDest, pvCopySource, sizeof( MACAddress_t ) ); in eARPProcessPacket()
440 uint32_t ulARPRemoveCacheEntryByMac( const MACAddress_t * pxMACAddress ) in ulARPRemoveCacheEntryByMac()
472 void vARPRefreshCacheEntry( const MACAddress_t * pxMACAddress, in vARPRefreshCacheEntry()
654 eARPLookupResult_t eARPGetCacheEntryByMac( const MACAddress_t * const pxMACAddress, in eARPGetCacheEntryByMac()
668 … memcmp( pxMACAddress->ucBytes, xARPCache[ x ].xMACAddress.ucBytes, sizeof( MACAddress_t ) ) == 0 ) in eARPGetCacheEntryByMac()
697 MACAddress_t * const pxMACAddress ) in eARPGetCacheEntry()
718 … ( void ) memcpy( pxMACAddress->ucBytes, xBroadcastMACAddress.ucBytes, sizeof( MACAddress_t ) ); in eARPGetCacheEntry()
[all …]
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_ARP/ |
| D | FreeRTOS_ARP_utest.c | 269 … &( xARPFrame.xARPHeader.xSenderHardwareAddress ), &xBroadcastMACAddress, sizeof( MACAddress_t ) ); in test_eARPProcessPacket_SourceMACIsBroadcast()
425 memset( ipLOCAL_MAC_ADDRESS, 0x22, sizeof( MACAddress_t ) ); in test_eARPProcessPacket_Request_SenderMACSameAsLocalMAC()
426 …y( &( xARPFrame.xARPHeader.xSenderHardwareAddress ), ipLOCAL_MAC_ADDRESS, sizeof( MACAddress_t ) ); in test_eARPProcessPacket_Request_SenderMACSameAsLocalMAC()
522 memset( ipLOCAL_MAC_ADDRESS, 0x22, sizeof( MACAddress_t ) ); in test_eARPProcessPacket_Reply_TargetIPSameAsLocalIP()
523 …y( &( xARPFrame.xARPHeader.xSenderHardwareAddress ), ipLOCAL_MAC_ADDRESS, sizeof( MACAddress_t ) ); in test_eARPProcessPacket_Reply_TargetIPSameAsLocalIP()
557 memset( ipLOCAL_MAC_ADDRESS, 0x22, sizeof( MACAddress_t ) ); in test_eARPProcessPacket_Reply_TargetIPNotSameAsLocalIP_ButEntryInCache()
558 …y( &( xARPFrame.xARPHeader.xSenderHardwareAddress ), ipLOCAL_MAC_ADDRESS, sizeof( MACAddress_t ) ); in test_eARPProcessPacket_Reply_TargetIPNotSameAsLocalIP_ButEntryInCache()
952 const MACAddress_t xMACAddress = { 0xAA, 0xAA, 0xAA, 0xAA, 0xAA, 0xAA }; in test_ulARPRemoveCacheEntryByMac_NoMatch()
976 const MACAddress_t xMACAddress = { 0xAA, 0xAA, 0xAA, 0xAA, 0xAA, 0xAA }; in test_ulARPRemoveCacheEntryByMac_OneMatchingEntry()
1000 MACAddress_t xMACAddress; in test_vARPRefreshCacheEntry_NULLMAC_NoMatchingEntry()
[all …]
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP_DiffConfig/ |
| D | FreeRTOS_IP_DiffConfig_utest.c | 409 …EthernetHeader.xDestinationAddress.ucBytes, xBroadcastMACAddress.ucBytes, sizeof( MACAddress_t ) ); in test_prvAllowIPPacket_BroadcastSourceIP()
440 …EthernetHeader.xDestinationAddress.ucBytes, xBroadcastMACAddress.ucBytes, sizeof( MACAddress_t ) ); in test_prvAllowIPPacket_IncorrectSizeFields()
476 …EthernetHeader.xDestinationAddress.ucBytes, xBroadcastMACAddress.ucBytes, sizeof( MACAddress_t ) ); in test_prvAllowIPPacket_UDPCheckSumZero()
513 …EthernetHeader.xDestinationAddress.ucBytes, xBroadcastMACAddress.ucBytes, sizeof( MACAddress_t ) ); in test_prvAllowIPPacket_UDP_HappyPath()
556 …EthernetHeader.xDestinationAddress.ucBytes, xBroadcastMACAddress.ucBytes, sizeof( MACAddress_t ) ); in test_prvAllowIPPacket_TCP_HappyPath()
590 …EthernetHeader.xDestinationAddress.ucBytes, xBroadcastMACAddress.ucBytes, sizeof( MACAddress_t ) ); in test_prvProcessIPPacket_()
621 …EthernetHeader.xDestinationAddress.ucBytes, xBroadcastMACAddress.ucBytes, sizeof( MACAddress_t ) ); in test_xCheckSizeFields_BufferLengthLess()
657 …EthernetHeader.xDestinationAddress.ucBytes, xBroadcastMACAddress.ucBytes, sizeof( MACAddress_t ) ); in test_xCheckSizeFields_HeaderLengthLess()
689 …EthernetHeader.xDestinationAddress.ucBytes, xBroadcastMACAddress.ucBytes, sizeof( MACAddress_t ) ); in test_xCheckSizeFields_HeaderLengthMore()
721 …EthernetHeader.xDestinationAddress.ucBytes, xBroadcastMACAddress.ucBytes, sizeof( MACAddress_t ) ); in test_xCheckSizeFields_HeaderLengthMoreThanTotalLength()
[all …]
|
| D | FreeRTOS_IP_DiffConfig_stubs.c | 48 const MACAddress_t xLLMNR_MacAdress = { { 0x01, 0x00, 0x5e, 0x00, 0x00, 0xfc } };
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/UDP/vProcessGeneratedUDPPacket/ |
| D | vProcessGeneratedUDPPacket_harness.c | 52 void vARPRefreshCacheEntry( const MACAddress_t * pxMACAddress, in vARPRefreshCacheEntry()
68 MACAddress_t * const pxMACAddress ) in eARPGetCacheEntry()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_WIN/ |
| D | FreeRTOS_TCP_WIN_stubs.c | 48 MACAddress_t xARPClashMacAddress;
54 const MACAddress_t xBroadcastMACAddress = { { 0xff, 0xff, 0xff, 0xff, 0xff, 0xff } };
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Tiny_TCP/ |
| D | FreeRTOS_Tiny_TCP_stubs.c | 48 MACAddress_t xARPClashMacAddress;
54 const MACAddress_t xBroadcastMACAddress = { { 0xff, 0xff, 0xff, 0xff, 0xff, 0xff } };
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_DHCP/ |
| D | FreeRTOS_DHCP_stubs.c | 48 MACAddress_t xARPClashMacAddress;
54 const MACAddress_t xBroadcastMACAddress = { { 0xff, 0xff, 0xff, 0xff, 0xff, 0xff } };
|
| D | FreeRTOS_DHCP_utest.c | 1509 MACAddress_t xBackup; in test_vDHCPProcess_eWaitingOfferRecvfromSuccess_CorrectAddrLen_LocalMACNotmatching()
1524 memcpy( &xBackup, ipLOCAL_MAC_ADDRESS, sizeof( MACAddress_t ) ); in test_vDHCPProcess_eWaitingOfferRecvfromSuccess_CorrectAddrLen_LocalMACNotmatching()
1526 memset( ipLOCAL_MAC_ADDRESS, 0xAA, sizeof( MACAddress_t ) ); in test_vDHCPProcess_eWaitingOfferRecvfromSuccess_CorrectAddrLen_LocalMACNotmatching()
1539 memcpy( ipLOCAL_MAC_ADDRESS, &xBackup, sizeof( MACAddress_t ) ); in test_vDHCPProcess_eWaitingOfferRecvfromSuccess_CorrectAddrLen_LocalMACNotmatching()
1556 memcpy( pxDHCPMessage->ucClientHardwareAddress, ipLOCAL_MAC_ADDRESS, sizeof( MACAddress_t ) ); in test_vDHCPProcess_eWaitingOfferCorrectDHCPMessageWithoutOptionsNoTimeout()
1606 memcpy( pxDHCPMessage->ucClientHardwareAddress, ipLOCAL_MAC_ADDRESS, sizeof( MACAddress_t ) ); in test_vDHCPProcess_eWaitingOfferCorrectDHCPMessageIncorrectOptionsNoTimeout()
1664 memcpy( pxDHCPMessage->ucClientHardwareAddress, ipLOCAL_MAC_ADDRESS, sizeof( MACAddress_t ) ); in test_vDHCPProcess_eWaitingOfferCorrectDHCPMessageMissingLengthByteNoTimeout()
1723 memcpy( pxDHCPMessage->ucClientHardwareAddress, ipLOCAL_MAC_ADDRESS, sizeof( MACAddress_t ) ); in test_vDHCPProcess_eWaitingOfferCorrectDHCPMessageIncorrectLengthByteNoTimeout()
1784 memcpy( pxDHCPMessage->ucClientHardwareAddress, ipLOCAL_MAC_ADDRESS, sizeof( MACAddress_t ) ); in test_vDHCPProcess_eWaitingOfferCorrectDHCPMessageGetNACKNoTimeout()
1847 memcpy( pxDHCPMessage->ucClientHardwareAddress, ipLOCAL_MAC_ADDRESS, sizeof( MACAddress_t ) ); in test_vDHCPProcess_eWaitingOfferCorrectDHCPMessageGetACKNoTimeout()
[all …]
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP/ |
| D | FreeRTOS_IP_utest.c | 1433 memset( ipLOCAL_MAC_ADDRESS, 0xAA, sizeof( MACAddress_t ) ); in test_eConsiderFrameForProcessing_NoMatch()
1450 memset( ipLOCAL_MAC_ADDRESS, 0xAA, sizeof( MACAddress_t ) ); in test_eConsiderFrameForProcessing_LocalMACMatch()
1452 …mcpy( pxEthernetHeader->xDestinationAddress.ucBytes, ipLOCAL_MAC_ADDRESS, sizeof( MACAddress_t ) ); in test_eConsiderFrameForProcessing_LocalMACMatch()
1470 memset( ipLOCAL_MAC_ADDRESS, 0xAA, sizeof( MACAddress_t ) ); in test_eConsiderFrameForProcessing_LocalMACMatch1()
1472 …mcpy( pxEthernetHeader->xDestinationAddress.ucBytes, ipLOCAL_MAC_ADDRESS, sizeof( MACAddress_t ) ); in test_eConsiderFrameForProcessing_LocalMACMatch1()
1490 memset( ipLOCAL_MAC_ADDRESS, 0xAA, sizeof( MACAddress_t ) ); in test_eConsiderFrameForProcessing_LocalMACMatch2()
1492 …mcpy( pxEthernetHeader->xDestinationAddress.ucBytes, ipLOCAL_MAC_ADDRESS, sizeof( MACAddress_t ) ); in test_eConsiderFrameForProcessing_LocalMACMatch2()
1510 memset( ipLOCAL_MAC_ADDRESS, 0xAA, sizeof( MACAddress_t ) ); in test_eConsiderFrameForProcessing_BroadCastMACMatch()
1512 …thernetHeader->xDestinationAddress.ucBytes, xBroadcastMACAddress.ucBytes, sizeof( MACAddress_t ) ); in test_eConsiderFrameForProcessing_BroadCastMACMatch()
1530 memset( ipLOCAL_MAC_ADDRESS, 0xAA, sizeof( MACAddress_t ) ); in test_eConsiderFrameForProcessing_LLMNR_MACMatch()
[all …]
|
| D | FreeRTOS_IP_stubs.c | 48 const MACAddress_t xLLMNR_MacAdress = { { 0x01, 0x00, 0x5e, 0x00, 0x00, 0xfc } };
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/ARP/ulARPRemoveCacheEntryByMac/ |
| D | ulARPRemoveCacheEntryByMac_harness.c | 15 const MACAddress_t xMACAddress; in harness()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/ARP/ARPGetCacheEntryByMac/ |
| D | ARPGetCacheEntryByMac_harness.c | 12 MACAddress_t xMACAddress; in harness()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/ARP/ARPGetCacheEntry/ |
| D | ARPGetCacheEntry_harness.c | 14 MACAddress_t xMACAddress; in harness()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/ARP/ARPRefreshCacheEntry/ |
| D | ARPRefreshCacheEntry_harness.c | 11 MACAddress_t xMACAddress; in harness()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_ICMP/ |
| D | FreeRTOS_ICMP_stubs.c | 48 const MACAddress_t xLLMNR_MacAdress = { { 0x01, 0x00, 0x5e, 0x00, 0x00, 0xfc } };
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_ICMP_wo_assert/ |
| D | FreeRTOS_ICMP_wo_assert_stubs.c | 48 const MACAddress_t xLLMNR_MacAdress = { { 0x01, 0x00, 0x5e, 0x00, 0x00, 0xfc } };
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP_Utils/ |
| D | FreeRTOS_IP_Utils_stubs.c | 48 const MACAddress_t xLLMNR_MacAdress = { { 0x01, 0x00, 0x5e, 0x00, 0x00, 0xfc } };
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP_Utils_DiffConfig/ |
| D | FreeRTOS_IP_Utils_DiffConfig_stubs.c | 48 const MACAddress_t xLLMNR_MacAdress = { { 0x01, 0x00, 0x5e, 0x00, 0x00, 0xfc } };
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP_Timers/ |
| D | FreeRTOS_IP_Timers_stubs.c | 52 const MACAddress_t xLLMNR_MacAdress = { { 0x01, 0x00, 0x5e, 0x00, 0x00, 0xfc } };
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/prvProcessEthernetPacket/ |
| D | prvProcessEthernetPacket_harness.c | 31 void vARPRefreshCacheEntry( const MACAddress_t * pxMACAddress, in vARPRefreshCacheEntry()
|
