Home
last modified time | relevance | path

Searched refs:ICMPRouterAdvertisement_IPv6_t (Results 1 – 4 of 4) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_RA/
HDFreeRTOS_RA_utest.c63 … ( ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER + sizeof( ICMPRouterAdvertisement_IPv6_t ) )
470 ICMPRouterAdvertisement_IPv6_t * pxAdvertisement; in test_vReceiveRA_ZeroAdvertisementLifetime()
480 pxAdvertisement = ( ( ICMPRouterAdvertisement_IPv6_t * ) &( xICMPPacket.xICMPHeaderIPv6 ) ); in test_vReceiveRA_ZeroAdvertisementLifetime()
493 ICMPRouterAdvertisement_IPv6_t * pxAdvertisement; in test_vReceiveRA_NullpxInterface()
504 pxAdvertisement = ( ( ICMPRouterAdvertisement_IPv6_t * ) &( xICMPPacket.xICMPHeaderIPv6 ) ); in test_vReceiveRA_NullpxInterface()
517 ICMPRouterAdvertisement_IPv6_t * pxAdvertisement; in test_vReceiveRA_NullICMPPrefix()
529 pxAdvertisement = ( ( ICMPRouterAdvertisement_IPv6_t * ) &( xICMPPacket.xICMPHeaderIPv6 ) ); in test_vReceiveRA_NullICMPPrefix()
547 ICMPRouterAdvertisement_IPv6_t * pxAdvertisement; in test_vReceiveRA_NullICMPPrefix_ZeroOptionLength()
559 pxAdvertisement = ( ( ICMPRouterAdvertisement_IPv6_t * ) &( xICMPPacket.xICMPHeaderIPv6 ) ); in test_vReceiveRA_NullICMPPrefix_ZeroOptionLength()
584 ICMPRouterAdvertisement_IPv6_t * pxAdvertisement; in test_vReceiveRA_NullICMPPrefix_NotEnoughBytes()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/RA/vReceiveRA_ReadReply/
HDReceiveRA_ReadReply_harness.c54 …ededSize = ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER + sizeof( ICMPRouterAdvertisement_IPv6_t ); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/source/
HDFreeRTOS_RA.c270 const size_t uxICMPSize = sizeof( ICMPRouterAdvertisement_IPv6_t ); in vReceiveRA_ReadReply()
365 const size_t uxICMPSize = sizeof( ICMPRouterAdvertisement_IPv6_t ); in vReceiveRA()
378 …const ICMPRouterAdvertisement_IPv6_t * pxAdvertisement = ( ( const ICMPRouterAdvertisement_IPv6_t in vReceiveRA()
/FreeRTOS-Plus-TCP-v4.0.0/source/include/
HDFreeRTOS_IPv6_Private.h197 typedef struct xICMPRouterAdvertisement_IPv6 ICMPRouterAdvertisement_IPv6_t; variable