Home
last modified time | relevance | path

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

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/IP/ProcessEthernetPacket/
DProcessEthernetPacket_harness.c45 eFrameProcessingResult_t retVal; in eARPProcessPacket() local
46 return retVal; in eARPProcessPacket()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCP/DHCPProcess/
DDHCPProcess_harness.c155 int32_t retVal = -1; in FreeRTOS_recvfrom() local
163 retVal = sizeof( xDHCPMessage ); in FreeRTOS_recvfrom()
166 return retVal; in FreeRTOS_recvfrom()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCPv6/DHCPv6Process/
DDHCPv6Process_harness.c141 int32_t retVal = -1; in FreeRTOS_recvfrom() local
149 retVal = sizeof( xDHCPMessage ); in FreeRTOS_recvfrom()
152 return retVal; in FreeRTOS_recvfrom()