Home
last modified time | relevance | path

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

/FreeRTOS-Plus-TCP-v4.0.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-v4.0.0/source/
DFreeRTOS_TCP_Transmission.c199 NetworkBufferDescriptor_t ** ppxNetworkBuffer ) in prvTCPSendRepeated()
808 NetworkBufferDescriptor_t ** ppxNetworkBuffer, in prvTCPPrepareSend()
1156 NetworkBufferDescriptor_t ** ppxNetworkBuffer, in prvSendData()
DFreeRTOS_TCP_State_Handling.c499 NetworkBufferDescriptor_t ** ppxNetworkBuffer, in prvHandleEstablished()
707 NetworkBufferDescriptor_t ** ppxNetworkBuffer ) in prvTCPHandleState()
DFreeRTOS_DNS.c800 static uint8_t * prvGetPayloadBuffer( NetworkBufferDescriptor_t ** ppxNetworkBuffer, in prvGetPayloadBuffer()