Home
last modified time | relevance | path

Searched refs:pucBytes (Results 1 – 3 of 3) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/source/
HDFreeRTOS_RA.c274 uint8_t * pucBytes = &( pxNetworkBuffer->pucEthernetBuffer[ uxNeededSize ] ); in vReceiveRA_ReadReply() local
279 uint8_t ucType = pucBytes[ uxIndex ]; in vReceiveRA_ReadReply()
280 size_t uxPrefixLength = ( size_t ) pucBytes[ uxIndex + 1U ]; in vReceiveRA_ReadReply()
300 pucBytes[ uxIndex + 2U ], in vReceiveRA_ReadReply()
301 pucBytes[ uxIndex + 3U ], in vReceiveRA_ReadReply()
302 pucBytes[ uxIndex + 4U ], in vReceiveRA_ReadReply()
303 pucBytes[ uxIndex + 5U ], in vReceiveRA_ReadReply()
304 pucBytes[ uxIndex + 6U ], in vReceiveRA_ReadReply()
305 pucBytes[ uxIndex + 7U ] ) ); in vReceiveRA_ReadReply()
315 pxPrefixOption = ( ( ICMPPrefixOption_IPv6_t * ) &( pucBytes[ uxIndex ] ) ); in vReceiveRA_ReadReply()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/RA/vReceiveRA_ReadReply/
HDReceiveRA_ReadReply_harness.c53 uint8_t * pucBytes; in harness() local
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_RA/
HDFreeRTOS_RA_utest.c545 uint8_t * pucBytes; in test_vReceiveRA_NullICMPPrefix_ZeroOptionLength() local
582 uint8_t * pucBytes; in test_vReceiveRA_NullICMPPrefix_NotEnoughBytes() local
618 uint8_t * pucBytes; in test_vReceiveRA_ValidICMPPrefix_Option1() local
653 uint8_t * pucBytes; in test_vReceiveRA_ValidICMPPrefix_Option2() local
689 uint8_t * pucBytes; in test_vReceiveRA_ValidICMPPrefix_Option3() local
732 uint8_t * pucBytes; in test_vReceiveRA_ValidICMPPrefix_Option4() local
767 uint8_t * pucBytes; in test_vReceiveRA_ValidICMPPrefix_Option5() local
803 uint8_t * pucBytes; in test_vReceiveRA_ValidICMPPrefix_Option6() local
839 uint8_t * pucBytes; in test_vReceiveRA_ValidICMPPrefix_IncorrectOption() local
873 uint8_t * pucBytes; in test_vReceiveRA_vRAProcesss() local
[all …]