Home
last modified time | relevance | path

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

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCPv6/DHCPv6HandleOption/
DDHCPv6HandleOption_harness.c72 …__CPROVER_assume( DHCPv6_Option_Client_Identifier <= usOption && usOption <= DHCPv6_Option_IA_Pref… in __CPROVER_file_local_FreeRTOS_DHCPv6_c_prvDHCPv6_subOption()
/FreeRTOS-Plus-TCP-v4.0.0/source/include/
DFreeRTOS_DHCPv6.h58 #define DHCPv6_Option_Client_Identifier 1U macro
/FreeRTOS-Plus-TCP-v4.0.0/source/
DFreeRTOS_DHCPv6.c84 ( ( ( ( uint32_t ) 1U ) << DHCPv6_Option_Client_Identifier ) | \
1000 …vBitConfig_write_16( &( xMessage ), DHCPv6_Option_Client_Identifier ); … in prvSendDHCPMessage()
1244 case DHCPv6_Option_Client_Identifier: in prvDHCPv6_handleOption()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DHCPv6/
DFreeRTOS_DHCPv6_utest.c181 usVal = DHCPv6_Option_Client_Identifier; in prvAddOptionClient()
197 usVal = DHCPv6_Option_Client_Identifier; in prvAddOptionClient()
1010 usVal = DHCPv6_Option_Client_Identifier; in prvPrepareReplyClientIDTooSmall()
1030 usVal = DHCPv6_Option_Client_Identifier; in prvPrepareReplyClientIDTooBig()
1055 usVal = DHCPv6_Option_Client_Identifier; in prvPrepareReplyClientIDLengthWrong()
1080 usVal = DHCPv6_Option_Client_Identifier; in prvPrepareReplyClientIDPeekFalse()
1109 usVal = DHCPv6_Option_Client_Identifier; in prvPrepareReplyClientIDContentWrong()
1254 usVal = DHCPv6_Option_Client_Identifier; in prvPrepareErrorOption()