Home
last modified time | relevance | path

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

/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/stubs/
Dfreertos_api.c193 const struct freertos_sockaddr * pxDestinationAddress, in FreeRTOS_sendto() argument
200 __CPROVER_assert( pxDestinationAddress != NULL, in FreeRTOS_sendto()
/FreeRTOS-Plus-TCP-v3.1.0/source/include/
DFreeRTOS_Sockets.h236 const struct freertos_sockaddr * pxDestinationAddress,
/FreeRTOS-Plus-TCP-v3.1.0/source/
DFreeRTOS_Sockets.c1069 const struct freertos_sockaddr * pxDestinationAddress, in FreeRTOS_sendto() argument
1151 pxNetworkBuffer->usPort = pxDestinationAddress->sin_port; in FreeRTOS_sendto()
1153 pxNetworkBuffer->ulIPAddress = pxDestinationAddress->sin_addr; in FreeRTOS_sendto()