Searched refs:DHCPOptionSet_t (Results 1 – 4 of 4) sorted by relevance
64 … const DHCPOptionSet_t * pxSet, in __CPROVER_file_local_FreeRTOS_DHCPv6_c_prvDHCPv6_subOption()83 DHCPOptionSet_t * pxSet = safeMalloc( sizeof( DHCPOptionSet_t ) ); in harness()
140 } DHCPOptionSet_t; typedef
138 const DHCPOptionSet_t * pxSet,144 const DHCPOptionSet_t * pxSet,1099 const DHCPOptionSet_t * pxSet, in prvDHCPv6_subOption()1214 const DHCPOptionSet_t * pxSet, in prvDHCPv6_handleOption()1471 DHCPOptionSet_t xSet; in prvDHCPv6Analyse()
66 const DHCPOptionSet_t * pxSet,3935 DHCPOptionSet_t xSet; in test_prvDHCPv6_subOption_UsedLengthLarger()3939 memset( &xSet, 0, sizeof( DHCPOptionSet_t ) ); in test_prvDHCPv6_subOption_UsedLengthLarger()
