Home
last modified time | relevance | path

Searched defs:usOption (Results 1 – 2 of 2) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCPv6/DHCPv6HandleOption/
HDDHCPv6HandleOption_harness.c63 BaseType_t __CPROVER_file_local_FreeRTOS_DHCPv6_c_prvDHCPv6_subOption( uint16_t usOption, in __CPROVER_file_local_FreeRTOS_DHCPv6_c_prvDHCPv6_subOption()
80 uint16_t usOption; in harness() local
/FreeRTOS-Plus-TCP-v4.0.0/source/
HDFreeRTOS_DHCPv6.c180 static BaseType_t prvIsOptionLengthValid( uint16_t usOption, in prvIsOptionLengthValid()
1098 static BaseType_t prvDHCPv6_subOption( uint16_t usOption, in prvDHCPv6_subOption()
1213 uint16_t usOption, in prvDHCPv6_handleOption()
1470 uint16_t usOption; in prvDHCPv6Analyse() local