Searched refs:usOption (Results 1 – 3 of 3) sorted by relevance
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCPv6/DHCPv6HandleOption/ |
| HD | DHCPv6HandleOption_harness.c | 63 BaseType_t __CPROVER_file_local_FreeRTOS_DHCPv6_c_prvDHCPv6_subOption( uint16_t usOption, in __CPROVER_file_local_FreeRTOS_DHCPv6_c_prvDHCPv6_subOption() argument
72 …__CPROVER_assume( DHCPv6_Option_Client_Identifier <= usOption && usOption <= DHCPv6_Option_IA_Pref… in __CPROVER_file_local_FreeRTOS_DHCPv6_c_prvDHCPv6_subOption()
80 uint16_t usOption; in harness() local
94 …local_FreeRTOS_DHCPv6_c_prvDHCPv6_handleOption( pxNetworkEndPoint_Temp, usOption, pxSet, pxDHCPMes… in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/ |
| HD | FreeRTOS_DHCPv6.c | 94 static BaseType_t prvIsOptionLengthValid( uint16_t usOption,
137 static BaseType_t prvDHCPv6_subOption( uint16_t usOption,
143 uint16_t usOption,
180 static BaseType_t prvIsOptionLengthValid( uint16_t usOption, in prvIsOptionLengthValid() argument
187 switch( usOption ) in prvIsOptionLengthValid()
234 usOption, in prvIsOptionLengthValid()
242 usOption, in prvIsOptionLengthValid()
1098 static BaseType_t prvDHCPv6_subOption( uint16_t usOption, in prvDHCPv6_subOption() argument
1115 ( void ) usOption; in prvDHCPv6_subOption()
1123 …bOption: Option %u used length %lu is larger than option length %lu\n", usOption, uxUsed, pxSet->u… in prvDHCPv6_subOption()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DHCPv6/ |
| HD | FreeRTOS_DHCPv6_utest.c | 65 extern BaseType_t prvDHCPv6_subOption( uint16_t usOption,
|
