Searched refs:xReset (Results 1 – 9 of 9) sorted by relevance
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCPv6/DHCPv6Process/ |
| D | DHCPv6Process_harness.c | 53 void __CPROVER_file_local_FreeRTOS_DHCPv6_c_vDHCPv6ProcessEndPoint( BaseType_t xReset, in __CPROVER_file_local_FreeRTOS_DHCPv6_c_vDHCPv6ProcessEndPoint() argument
157 BaseType_t xReset; in harness() local
176 if( xReset == pdFALSE ) in harness()
190 ( xReset != pdFALSE ) ) ) in harness()
199 vDHCPv6Process( xReset, pxNetworkEndPoint ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCP/DHCPProcessEndPoint/ |
| D | DHCPProcessEndPoint_harness.c | 65 void __CPROVER_file_local_FreeRTOS_DHCP_c_vDHCPProcessEndPoint( BaseType_t xReset,
144 BaseType_t xReset; in harness() local
187 ( xReset != pdFALSE ) ) ) in harness()
194 …__CPROVER_file_local_FreeRTOS_DHCP_c_vDHCPProcessEndPoint( xReset, xDoCheck, pxNetworkEndPoint_Tem… in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCP/DHCPProcess/ |
| D | DHCPProcess_harness.c | 65 void __CPROVER_file_local_FreeRTOS_DHCP_c_vDHCPProcessEndPoint( BaseType_t xReset, in __CPROVER_file_local_FreeRTOS_DHCP_c_vDHCPProcessEndPoint() argument
175 BaseType_t xReset; in harness() local
198 ( xReset != pdFALSE ) ) ) in harness()
207 vDHCPProcess( xReset, pxNetworkEndPoints ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCPv6/DHCPv6ProcessEndPoint/ |
| D | DHCPv6ProcessEndPoint_harness.c | 130 void __CPROVER_file_local_FreeRTOS_DHCPv6_c_vDHCPv6ProcessEndPoint( BaseType_t xReset,
136 BaseType_t xReset, xGivingUp; in harness() local
147 …__CPROVER_file_local_FreeRTOS_DHCPv6_c_vDHCPv6ProcessEndPoint( xReset, pxNetworkEndPoint_Temp, pxD… in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCPv6/Process_PassReplyToEndPoint/ |
| D | DHCPv6Process_PassReplyToEndPoint_harness.c | 51 void __CPROVER_file_local_FreeRTOS_DHCPv6_c_vDHCPv6ProcessEndPoint( BaseType_t xReset,
58 static void __CPROVER_file_local_FreeRTOS_DHCPv6_c_vDHCPv6ProcessEndPoint( BaseType_t xReset, in __CPROVER_file_local_FreeRTOS_DHCPv6_c_vDHCPv6ProcessEndPoint() argument
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/ |
| D | FreeRTOS_DHCP.c | 131 static void vDHCPProcessEndPoint( BaseType_t xReset,
197 void vDHCPProcess( BaseType_t xReset, in vDHCPProcess() argument
208 if( xReset != pdFALSE ) in vDHCPProcess()
213 if( ( EP_DHCPData.eDHCPState != EP_DHCPData.eExpectedState ) && ( xReset == pdFALSE ) ) in vDHCPProcess()
307 vDHCPProcessEndPoint( xReset, pdFALSE, pxEndPoint ); in vDHCPProcess()
670 static void vDHCPProcessEndPoint( BaseType_t xReset, in vDHCPProcessEndPoint() argument
679 if( xReset != pdFALSE ) in vDHCPProcessEndPoint()
684 if( ( EP_DHCPData.eDHCPState != EP_DHCPData.eExpectedState ) && ( xReset == pdFALSE ) ) in vDHCPProcessEndPoint()
|
| D | FreeRTOS_DHCPv6.c | 103 static void vDHCPv6ProcessEndPoint( BaseType_t xReset,
383 void vDHCPv6Process( BaseType_t xReset, in vDHCPv6Process() argument
391 if( xReset != pdFALSE ) in vDHCPv6Process()
464 vDHCPv6ProcessEndPoint( xReset, pxEndPoint, pxEndPoint->pxDHCPMessage ); in vDHCPv6Process()
754 static void vDHCPv6ProcessEndPoint( BaseType_t xReset, in vDHCPv6ProcessEndPoint() argument
761 if( xReset != pdFALSE ) in vDHCPv6ProcessEndPoint()
766 if( ( EP_DHCPData.eDHCPState != EP_DHCPData.eExpectedState ) && ( xReset == pdFALSE ) ) in vDHCPv6ProcessEndPoint()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/include/ |
| D | FreeRTOS_DHCPv6.h | 152 void vDHCPv6Process( BaseType_t xReset,
|
| D | FreeRTOS_DHCP.h | 242 void vDHCPProcess( BaseType_t xReset,
|
