Searched refs:pucAnswer (Results 1 – 3 of 3) sorted by relevance
51 const uint8_t * pucAnswer,61 uint8_t * pucAnswer; in harness() local73 pucAnswer = safeMalloc( uxTotalLength ); in harness()74 __CPROVER_assume( pucAnswer != NULL ); in harness()76 …_file_local_FreeRTOS_DHCPv6_c_prvDHCPv6Analyse( pxNetworkEndPoint_Temp, pucAnswer, uxTotalLength, … in harness()
63 const uint8_t * pucAnswer, in __CPROVER_file_local_FreeRTOS_DHCPv6_c_prvDHCPv6Analyse() argument
99 const uint8_t * pucAnswer,1401 const uint8_t * pucAnswer, in prvDHCPv6Analyse() argument1410 if( xBitConfig_init( &xMessage, pucAnswer, uxTotalLength ) != pdFAIL ) in prvDHCPv6Analyse()
