Home
last modified time | relevance | path

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

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCPv6/DHCPv6HandleOption/
DDHCPv6HandleOption_harness.c72 …ROVER_assume( DHCPv6_Option_Client_Identifier <= usOption && usOption <= DHCPv6_Option_IA_Prefix ); in __CPROVER_file_local_FreeRTOS_DHCPv6_c_prvDHCPv6_subOption()
/FreeRTOS-Plus-TCP-v4.0.0/source/include/
DFreeRTOS_DHCPv6.h82 #define DHCPv6_Option_IA_Prefix 26U macro
/FreeRTOS-Plus-TCP-v4.0.0/source/
DFreeRTOS_DHCPv6.c219 case DHCPv6_Option_IA_Prefix: in prvIsOptionLengthValid()
1049 …vBitConfig_write_16( &( xMessage ), DHCPv6_Option_IA_Prefix ); … in prvSendDHCPMessage()
1164 case DHCPv6_Option_IA_Prefix: in prvDHCPv6_subOption()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DHCPv6/
DFreeRTOS_DHCPv6_utest.c305 usVal = DHCPv6_Option_IA_Prefix; in prvAddOptionIA_Prefix()
324 usVal = DHCPv6_Option_IA_Prefix; in prvAddOptionIA_Prefix()