Searched refs:pxMACAddress (Results 1 – 8 of 8) sorted by relevance
| /FreeRTOS-Plus-TCP-v3.1.0/source/ |
| D | FreeRTOS_ARP.c | 86 MACAddress_t * const pxMACAddress );
440 uint32_t ulARPRemoveCacheEntryByMac( const MACAddress_t * pxMACAddress ) in ulARPRemoveCacheEntryByMac() argument
445 configASSERT( pxMACAddress != NULL ); in ulARPRemoveCacheEntryByMac()
450 …if( ( memcmp( xARPCache[ x ].xMACAddress.ucBytes, pxMACAddress->ucBytes, sizeof( pxMACAddress->ucB… in ulARPRemoveCacheEntryByMac()
472 void vARPRefreshCacheEntry( const MACAddress_t * pxMACAddress, in vARPRefreshCacheEntry() argument
505 if( pxMACAddress != NULL ) in vARPRefreshCacheEntry()
507 …if( memcmp( xARPCache[ x ].xMACAddress.ucBytes, pxMACAddress->ucBytes, sizeof( pxMACAddress->ucByt… in vARPRefreshCacheEntry()
525 if( pxMACAddress == NULL ) in vARPRefreshCacheEntry()
621 if( pxMACAddress != NULL ) in vARPRefreshCacheEntry()
623 … ) memcpy( xARPCache[ xUseEntry ].xMACAddress.ucBytes, pxMACAddress->ucBytes, sizeof( pxMACAddress… in vARPRefreshCacheEntry()
[all …]
|
| D | FreeRTOS_IP_Utils.c | 156 MACAddress_t * pxMACAddress ) in vSetMultiCastIPv4MacAddress() argument
160 pxMACAddress->ucBytes[ 0 ] = ( uint8_t ) 0x01U; in vSetMultiCastIPv4MacAddress()
161 pxMACAddress->ucBytes[ 1 ] = ( uint8_t ) 0x00U; in vSetMultiCastIPv4MacAddress()
162 pxMACAddress->ucBytes[ 2 ] = ( uint8_t ) 0x5EU; in vSetMultiCastIPv4MacAddress()
163 pxMACAddress->ucBytes[ 3 ] = ( uint8_t ) ( ( ulIP >> 16 ) & 0x7fU ); /* Use 7 bits. */ in vSetMultiCastIPv4MacAddress()
164 pxMACAddress->ucBytes[ 4 ] = ( uint8_t ) ( ( ulIP >> 8 ) & 0xffU ); /* Use 8 bits. */ in vSetMultiCastIPv4MacAddress()
165 pxMACAddress->ucBytes[ 5 ] = ( uint8_t ) ( ( ulIP ) & 0xffU ); /* Use 8 bits. */ in vSetMultiCastIPv4MacAddress()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/include/ |
| D | FreeRTOS_ARP.h | 70 void vARPRefreshCacheEntry( const MACAddress_t * pxMACAddress,
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.h | 371 MACAddress_t * pxMACAddress );
|
| /FreeRTOS-Plus-TCP-v3.1.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-v3.1.0/test/cbmc/proofs/prvProcessEthernetPacket/ |
| D | prvProcessEthernetPacket_harness.c | 31 void vARPRefreshCacheEntry( const MACAddress_t * pxMACAddress, in vARPRefreshCacheEntry() argument
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/parsing/ProcessReceivedUDPPacket/ |
| D | ProcessReceivedUDPPacket_harness.c | 15 void vARPRefreshCacheEntry( const MACAddress_t * pxMACAddress, in vARPRefreshCacheEntry() argument
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/parsing/ProcessIPPacket/ |
| D | ProcessIPPacket_harness.c | 21 void vARPRefreshCacheEntry( const MACAddress_t * pxMACAddress, in vARPRefreshCacheEntry() argument
|
