Searched refs:pxPrefixOption (Results 1 – 3 of 3) sorted by relevance
546 ICMPPrefixOption_IPv6_t * pxPrefixOption; in test_vReceiveRA_NullICMPPrefix_ZeroOptionLength() local562 …pxPrefixOption = ( ICMPPrefixOption_IPv6_t * ) &( pxNetworkBuffer->pucEthernetBuffer[ uxNeededSize… in test_vReceiveRA_NullICMPPrefix_ZeroOptionLength()563 pxPrefixOption->ucType = ndICMP_PREFIX_INFORMATION; in test_vReceiveRA_NullICMPPrefix_ZeroOptionLength()566 pxPrefixOption->ucLength = 0; in test_vReceiveRA_NullICMPPrefix_ZeroOptionLength()583 ICMPPrefixOption_IPv6_t * pxPrefixOption; in test_vReceiveRA_NullICMPPrefix_NotEnoughBytes() local599 …pxPrefixOption = ( ICMPPrefixOption_IPv6_t * ) &( pxNetworkBuffer->pucEthernetBuffer[ uxNeededSize… in test_vReceiveRA_NullICMPPrefix_NotEnoughBytes()600 pxPrefixOption->ucType = ndICMP_PREFIX_INFORMATION; in test_vReceiveRA_NullICMPPrefix_NotEnoughBytes()603 pxPrefixOption->ucLength = uxOptionsLength; in test_vReceiveRA_NullICMPPrefix_NotEnoughBytes()619 ICMPPrefixOption_IPv6_t * pxPrefixOption; in test_vReceiveRA_ValidICMPPrefix_Option1() local635 …pxPrefixOption = ( ICMPPrefixOption_IPv6_t * ) &( pxNetworkBuffer->pucEthernetBuffer[ uxNeededSize… in test_vReceiveRA_ValidICMPPrefix_Option1()[all …]
275 ICMPPrefixOption_IPv6_t * pxPrefixOption = NULL; in vReceiveRA_ReadReply() local315 pxPrefixOption = ( ( ICMPPrefixOption_IPv6_t * ) &( pucBytes[ uxIndex ] ) ); in vReceiveRA_ReadReply()318 pxPrefixOption->ucPrefixLength, in vReceiveRA_ReadReply()319 FreeRTOS_ntohl( pxPrefixOption->ulValidLifeTime ), in vReceiveRA_ReadReply()320 FreeRTOS_ntohl( pxPrefixOption->ulPreferredLifeTime ), in vReceiveRA_ReadReply()321 ( void * ) pxPrefixOption->ucPrefix ) ); in vReceiveRA_ReadReply()346 return pxPrefixOption; in vReceiveRA_ReadReply()364 const ICMPPrefixOption_IPv6_t * pxPrefixOption = NULL; in vReceiveRA() local389 pxPrefixOption = vReceiveRA_ReadReply( pxNetworkBuffer ); in vReceiveRA()393 if( pxPrefixOption != NULL ) in vReceiveRA()[all …]
46 ICMPPrefixOption_IPv6_t * pxPrefixOption = safeMalloc( sizeof( ICMPPrefixOption_IPv6_t ) ); in __CPROVER_file_local_FreeRTOS_RA_c_vReceiveRA_ReadReply() local48 return pxPrefixOption; in __CPROVER_file_local_FreeRTOS_RA_c_vReceiveRA_ReadReply()
