Home
last modified time | relevance | path

Searched defs:ppxNetworkBuffer (Results 1 – 4 of 4) sorted by relevance

/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/include/
Daws_freertos_tcp_verification_access_tcp_define.h2 NetworkBufferDescriptor_t ** ppxNetworkBuffer, in publicTCPPrepareSend()
9 NetworkBufferDescriptor_t ** ppxNetworkBuffer ) in publicTCPHandleState()
/FreeRTOS-Plus-TCP-v3.1.0/source/
DFreeRTOS_TCP_Transmission.c207 NetworkBufferDescriptor_t ** ppxNetworkBuffer ) in prvTCPSendRepeated()
950 NetworkBufferDescriptor_t ** ppxNetworkBuffer, in prvTCPPrepareSend()
1298 NetworkBufferDescriptor_t ** ppxNetworkBuffer, in prvSendData()
DFreeRTOS_TCP_State_Handling.c500 NetworkBufferDescriptor_t ** ppxNetworkBuffer, in prvHandleEstablished()
708 NetworkBufferDescriptor_t ** ppxNetworkBuffer ) in prvTCPHandleState()
DFreeRTOS_DNS.c350 static uint8_t * prvGetPayloadBuffer( NetworkBufferDescriptor_t ** ppxNetworkBuffer, in prvGetPayloadBuffer()