Searched defs:pxPrefixOption (Results 1 – 3 of 3) sorted by relevance
546 ICMPPrefixOption_IPv6_t * pxPrefixOption; in test_vReceiveRA_NullICMPPrefix_ZeroOptionLength() local583 ICMPPrefixOption_IPv6_t * pxPrefixOption; in test_vReceiveRA_NullICMPPrefix_NotEnoughBytes() local619 ICMPPrefixOption_IPv6_t * pxPrefixOption; in test_vReceiveRA_ValidICMPPrefix_Option1() local655 ICMPPrefixOption_IPv6_t * pxPrefixOption; in test_vReceiveRA_ValidICMPPrefix_Option2() local691 ICMPPrefixOption_IPv6_t * pxPrefixOption; in test_vReceiveRA_ValidICMPPrefix_Option3() local733 ICMPPrefixOption_IPv6_t * pxPrefixOption; in test_vReceiveRA_ValidICMPPrefix_Option4() local768 ICMPPrefixOption_IPv6_t * pxPrefixOption; in test_vReceiveRA_ValidICMPPrefix_Option5() local804 ICMPPrefixOption_IPv6_t * pxPrefixOption; in test_vReceiveRA_ValidICMPPrefix_Option6() local840 ICMPPrefixOption_IPv6_t * pxPrefixOption; in test_vReceiveRA_ValidICMPPrefix_IncorrectOption() local875 ICMPPrefixOption_IPv6_t * pxPrefixOption; in test_vReceiveRA_vRAProcesss() local[all …]
46 ICMPPrefixOption_IPv6_t * pxPrefixOption = safeMalloc( sizeof( ICMPPrefixOption_IPv6_t ) ); in __CPROVER_file_local_FreeRTOS_RA_c_vReceiveRA_ReadReply() local
275 ICMPPrefixOption_IPv6_t * pxPrefixOption = NULL; in vReceiveRA_ReadReply() local364 const ICMPPrefixOption_IPv6_t * pxPrefixOption = NULL; in vReceiveRA() local
