Home
last modified time | relevance | path

Searched defs:lDataLength (Results 1 – 3 of 3) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/prvRecvFrom_CopyPacket/
HDRecvFrom_CopyPacket_harness.c33 int32_t lDataLength; in harness() local
/FreeRTOS-Plus-TCP-v4.0.0/source/include/
HDFreeRTOS_TCP_WIN.h54 int32_t lDataLength; /**< Actual number of bytes */ member
/FreeRTOS-Plus-TCP-v4.0.0/source/
HDFreeRTOS_Sockets.c1211 int32_t lDataLength ) in prvRecvFrom_CopyPacket()