| /FreeRTOS-Plus-TCP-v4.0.0/source/ |
| D | FreeRTOS_IPv4_Utils.c | 58 MACAddress_t * pxMACAddress ) in vSetMultiCastIPv4MacAddress() argument
62 pxMACAddress->ucBytes[ 0 ] = ( uint8_t ) 0x01U; in vSetMultiCastIPv4MacAddress()
63 pxMACAddress->ucBytes[ 1 ] = ( uint8_t ) 0x00U; in vSetMultiCastIPv4MacAddress()
64 pxMACAddress->ucBytes[ 2 ] = ( uint8_t ) 0x5EU; in vSetMultiCastIPv4MacAddress()
65 pxMACAddress->ucBytes[ 3 ] = ( uint8_t ) ( ( ulIP >> 16 ) & 0x7fU ); /* Use 7 bits. */ in vSetMultiCastIPv4MacAddress()
66 pxMACAddress->ucBytes[ 4 ] = ( uint8_t ) ( ( ulIP >> 8 ) & 0xffU ); /* Use 8 bits. */ in vSetMultiCastIPv4MacAddress()
67 pxMACAddress->ucBytes[ 5 ] = ( uint8_t ) ( ( ulIP ) & 0xffU ); /* Use 8 bits. */ in vSetMultiCastIPv4MacAddress()
|
| D | FreeRTOS_ARP.c | 99 MACAddress_t * const pxMACAddress,
103 MACAddress_t * const pxMACAddress,
108 static BaseType_t prvFindCacheEntry( const MACAddress_t * pxMACAddress,
623 uint32_t ulARPRemoveCacheEntryByMac( const MACAddress_t * pxMACAddress ) in ulARPRemoveCacheEntryByMac() argument
628 configASSERT( pxMACAddress != NULL ); in ulARPRemoveCacheEntryByMac()
633 …if( ( memcmp( xARPCache[ x ].xMACAddress.ucBytes, pxMACAddress->ucBytes, sizeof( pxMACAddress->ucB… in ulARPRemoveCacheEntryByMac()
654 void vARPRefreshCacheEntryAge( const MACAddress_t * pxMACAddress, in vARPRefreshCacheEntryAge() argument
659 if( pxMACAddress != NULL ) in vARPRefreshCacheEntryAge()
669 …if( memcmp( xARPCache[ x ].xMACAddress.ucBytes, pxMACAddress->ucBytes, sizeof( pxMACAddress->ucByt… in vARPRefreshCacheEntryAge()
690 void vARPRefreshCacheEntry( const MACAddress_t * pxMACAddress, in vARPRefreshCacheEntry() argument
[all …]
|
| D | FreeRTOS_IPv6_Utils.c | 56 MACAddress_t * pxMACAddress ) in vSetMultiCastIPv6MacAddress() argument
58 pxMACAddress->ucBytes[ 0 ] = 0x33U; in vSetMultiCastIPv6MacAddress()
59 pxMACAddress->ucBytes[ 1 ] = 0x33U; in vSetMultiCastIPv6MacAddress()
60 pxMACAddress->ucBytes[ 2 ] = pxAddress->ucBytes[ 12 ]; in vSetMultiCastIPv6MacAddress()
61 pxMACAddress->ucBytes[ 3 ] = pxAddress->ucBytes[ 13 ]; in vSetMultiCastIPv6MacAddress()
62 pxMACAddress->ucBytes[ 4 ] = pxAddress->ucBytes[ 14 ]; in vSetMultiCastIPv6MacAddress()
63 pxMACAddress->ucBytes[ 5 ] = pxAddress->ucBytes[ 15 ]; in vSetMultiCastIPv6MacAddress()
|
| D | FreeRTOS_ND.c | 86 MACAddress_t * const pxMACAddress,
91 MACAddress_t * const pxMACAddress,
150 MACAddress_t * const pxMACAddress, in prvMACResolve() argument
158 vSetMultiCastIPv6MacAddress( pxAddressToLookup, pxMACAddress ); in prvMACResolve()
188 MACAddress_t * const pxMACAddress, in eNDGetCacheEntry() argument
195 eReturn = prvMACResolve( pxIPAddress, pxMACAddress, ppxEndPoint ); in eNDGetCacheEntry()
200 eReturn = prvNDCacheLookup( pxIPAddress, pxMACAddress, ppxEndPoint ); in eNDGetCacheEntry()
237 eReturn = prvNDCacheLookup( pxIPAddress, pxMACAddress, ppxEndPoint ); in eNDGetCacheEntry()
256 eReturn = prvNDCacheLookup( pxIPAddress, pxMACAddress, ppxEndPoint ); in eNDGetCacheEntry()
282 void vNDRefreshCacheEntry( const MACAddress_t * pxMACAddress, in vNDRefreshCacheEntry() argument
[all …]
|
| D | FreeRTOS_Routing.c | 476 NetworkEndPoint_t * FreeRTOS_FindEndPointOnMAC( const MACAddress_t * pxMACAddress, in FreeRTOS_FindEndPointOnMAC() argument
488 if( pxMACAddress == NULL ) in FreeRTOS_FindEndPointOnMAC()
503 …if( memcmp( pxEndPoint->xMACAddress.ucBytes, pxMACAddress->ucBytes, ipMAC_ADDRESS_LENGTH_BYTES ) =… in FreeRTOS_FindEndPointOnMAC()
721 const MACAddress_t * pxMACAddress );
738 const MACAddress_t * pxMACAddress ) in pxEasyFit() argument
782 …BaseType_t xSameMACAddress = ( memcmp( pxEndPoint->xMACAddress.ucBytes, pxMACAddress->ucBytes, ipM… in pxEasyFit()
1241 NetworkEndPoint_t * FreeRTOS_FindEndPointOnMAC( const MACAddress_t * pxMACAddress, in FreeRTOS_FindEndPointOnMAC() argument
1246 ( void ) pxMACAddress; in FreeRTOS_FindEndPointOnMAC()
1249 …if( ( pxMACAddress != NULL ) && ( memcmp( pxNetworkEndPoints->xMACAddress.ucBytes, pxMACAddress->u… in FreeRTOS_FindEndPointOnMAC()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/include/ |
| D | FreeRTOS_ARP.h | 86 void vARPRefreshCacheEntryAge( const MACAddress_t * pxMACAddress,
98 void vARPRefreshCacheEntry( const MACAddress_t * pxMACAddress,
115 uint32_t ulARPRemoveCacheEntryByMac( const MACAddress_t * pxMACAddress );
133 MACAddress_t * const pxMACAddress,
139 eARPLookupResult_t eARPGetCacheEntryByMac( const MACAddress_t * const pxMACAddress,
|
| D | FreeRTOS_ND.h | 71 void vNDRefreshCacheEntry( const MACAddress_t * pxMACAddress,
98 MACAddress_t * const pxMACAddress,
|
| D | FreeRTOS_IPv4_Utils.h | 54 MACAddress_t * pxMACAddress );
|
| D | FreeRTOS_IPv6_Utils.h | 55 MACAddress_t * pxMACAddress );
|
| D | FreeRTOS_Routing.h | 246 NetworkEndPoint_t * FreeRTOS_FindEndPointOnMAC( const MACAddress_t * pxMACAddress,
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_RA/ |
| D | FreeRTOS_RA_stubs.c | 33 MACAddress_t * const pxMACAddress, in eNDGetCacheEntry() argument
36 memset( pxMACAddress, 0, sizeof( MACAddress_t ) ); in eNDGetCacheEntry()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/IP/ConsiderFrameForProcessing/ |
| D | ConsiderFrameForProcessing_harness.c | 42 NetworkEndPoint_t * FreeRTOS_FindEndPointOnMAC( const MACAddress_t * pxMACAddress, in FreeRTOS_FindEndPointOnMAC() argument
47 __CPROVER_assert( pxMACAddress != NULL, "pxMACAddress != NULL" ); in FreeRTOS_FindEndPointOnMAC()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/UDP/vProcessGeneratedUDPPacket/ |
| D | vProcessGeneratedUDPPacket_harness.c | 52 void vARPRefreshCacheEntry( const MACAddress_t * pxMACAddress, in vARPRefreshCacheEntry() argument
68 MACAddress_t * const pxMACAddress ) in eARPGetCacheEntry() argument
71 __CPROVER_assert( pxMACAddress != NULL, "pxMACAddress cannot be NULL" ); in eARPGetCacheEntry()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/ARPProcessPacket/ |
| D | ARPProcessPacket_harness.c | 22 MACAddress_t * const pxMACAddress, in eARPGetCacheEntry() argument
28 __CPROVER_assert( pxMACAddress != NULL, "pxMACAddress cannot be NULL." ); in eARPGetCacheEntry()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/parsing/ProcessReceivedUDPPacket_IPv6/ |
| D | ProcessReceivedUDPPacket_IPv6_harness.c | 15 void vARPRefreshCacheEntry( const MACAddress_t * pxMACAddress, in vARPRefreshCacheEntry() argument
56 void vNDRefreshCacheEntry( const MACAddress_t * pxMACAddress, in vNDRefreshCacheEntry() argument
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/parsing/ProcessIPPacket_IPv6/prvAllowIPPacketIPv6/ |
| D | prvAllowIPPacketIPv6_harness.c | 36 NetworkEndPoint_t * FreeRTOS_FindEndPointOnMAC( const MACAddress_t * pxMACAddress, in FreeRTOS_FindEndPointOnMAC() argument
41 __CPROVER_assert( pxMACAddress != NULL, "MAC address shouldn't be NULL" ); in FreeRTOS_FindEndPointOnMAC()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/xCheckRequiresARPResolution/ |
| D | xCheckRequiresARPResolution_harness.c | 58 MACAddress_t * const pxMACAddress, in eNDGetCacheEntry() argument
64 …__CPROVER_assert( __CPROVER_w_ok( pxMACAddress, sizeof( MACAddress_t ) ), "pxMACAddress must be wr… in eNDGetCacheEntry()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/UDP/vProcessGeneratedUDPPacket_IPv6/ |
| D | vProcessGeneratedUDPPacket_IPv6_harness.c | 52 MACAddress_t * const pxMACAddress, in eNDGetCacheEntry() argument
58 __CPROVER_assert( pxMACAddress != NULL, "pxMACAddress cannot be NULL" ); in eNDGetCacheEntry()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/xCheckLoopback/ |
| D | xCheckLoopback_harness.c | 13 NetworkEndPoint_t * FreeRTOS_FindEndPointOnMAC( const MACAddress_t * pxMACAddress, in FreeRTOS_FindEndPointOnMAC() argument
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/prvProcessEthernetPacket/ |
| D | prvProcessEthernetPacket_harness.c | 31 void vARPRefreshCacheEntry( const MACAddress_t * pxMACAddress, in vARPRefreshCacheEntry() argument
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/parsing/ProcessReceivedUDPPacket/ |
| D | ProcessReceivedUDPPacket_harness.c | 15 void vARPRefreshCacheEntry( const MACAddress_t * pxMACAddress, in vARPRefreshCacheEntry() argument
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/parsing/ProcessIPPacket/ |
| D | ProcessIPPacket_harness.c | 27 void vARPRefreshCacheEntry( const MACAddress_t * pxMACAddress, in vARPRefreshCacheEntry() argument
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP_DiffConfig3/ |
| D | IP_DiffConfig3_list_macros.h | 122 void vNDRefreshCacheEntry( const MACAddress_t * pxMACAddress,
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP_DiffConfig/ |
| D | IP_DiffConfig_list_macros.h | 129 void vNDRefreshCacheEntry( const MACAddress_t * pxMACAddress,
|
