Home
last modified time | relevance | path

Searched refs:pxIPv6Address (Results 1 – 5 of 5) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/source/
HDFreeRTOS_IPv6.c49 #define IPv6MC_GET_SCOPE_VALUE( pxIPv6Address ) ( ( ( pxIPv6Address )->ucBytes[ 1 … argument
52 #define IPv6MC_GET_FLAGS_VALUE( pxIPv6Address ) ( ( ( pxIPv6Address )->ucBytes[ 1 … argument
55 #define IPv6MC_GET_GROUP_ID( pxIPv6Address, pxReturnGroupID ) ( xGetIPv6MulticastGroupID( pxIPv6… argument
259 static void xGetIPv6MulticastGroupID( const IPv6_Address_t * pxIPv6Address, in xGetIPv6MulticastGroupID() argument
262 configASSERT( pxIPv6Address != NULL ); in xGetIPv6MulticastGroupID()
267 ( void ) memcpy( &( pxReturnGroupID->ucBytes[ 2 ] ), &( pxIPv6Address->ucBytes[ 2 ] ), 14 ); in xGetIPv6MulticastGroupID()
HDFreeRTOS_Routing.c686 … NetworkEndPoint_t * FreeRTOS_FindEndPointOnNetMask_IPv6( const IPv6_Address_t * pxIPv6Address ) in FreeRTOS_FindEndPointOnNetMask_IPv6() argument
694 …if( xCompareIPv6_Address( &( pxEndPoint->ipv6_settings.xIPAddress ), pxIPv6Address, pxEndPoint->ip… in FreeRTOS_FindEndPointOnNetMask_IPv6()
1417 … NetworkEndPoint_t * FreeRTOS_FindEndPointOnNetMask_IPv6( const IPv6_Address_t * pxIPv6Address ) in FreeRTOS_FindEndPointOnNetMask_IPv6() argument
1419 ( void ) pxIPv6Address; in FreeRTOS_FindEndPointOnNetMask_IPv6()
HDFreeRTOS_ND.c892 static void prvCheckWaitingBuffer( const IPv6_Address_t * pxIPv6Address ) in prvCheckWaitingBuffer() argument
900 …if( memcmp( pxIPv6Address->ucBytes, pxIPHeader->xSourceAddress.ucBytes, ipSIZE_OF_IPv6_ADDRESS ) =… in prvCheckWaitingBuffer()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/prepareReplyDNSMessage/
HDprepareReplyDNSMessage_harness.c46 NetworkEndPoint_t * FreeRTOS_FindEndPointOnNetMask_IPv6( const IPv6_Address_t * pxIPv6Address ) in FreeRTOS_FindEndPointOnNetMask_IPv6() argument
48 __CPROVER_assert( pxIPv6Address != NULL, "Precondition: pxIPv6Address != NULL" ); in FreeRTOS_FindEndPointOnNetMask_IPv6()
/FreeRTOS-Plus-TCP-v4.0.0/source/include/
HDFreeRTOS_Routing.h266 … NetworkEndPoint_t * FreeRTOS_FindEndPointOnNetMask_IPv6( const IPv6_Address_t * pxIPv6Address );