Home
last modified time | relevance | path

Searched refs:xReset (Results 1 – 3 of 3) sorted by relevance

/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/DHCP/DHCPProcess/
DDHCPProcess_harness.c59 void vDHCPProcess( BaseType_t xReset,
77 BaseType_t xReset; in harness() local
97 ( xReset != pdFALSE ) ) ) in harness()
103 vDHCPProcess( xReset, eExpectedState ); in harness()
/FreeRTOS-Plus-TCP-v3.1.0/source/include/
DFreeRTOS_DHCP.h222 void vDHCPProcess( BaseType_t xReset,
/FreeRTOS-Plus-TCP-v3.1.0/source/
DFreeRTOS_DHCP.c187 void vDHCPProcess( BaseType_t xReset, in vDHCPProcess() argument
197 if( xReset != pdFALSE ) in vDHCPProcess()
202 if( ( EP_DHCPData.eDHCPState != eExpectedState ) && ( xReset == pdFALSE ) ) in vDHCPProcess()