Home
last modified time | relevance | path

Searched defs:FreeRTOS_GetUDPPayloadBuffer (Results 1 – 2 of 2) sorted by relevance

/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/stubs/
Dfreertos_api.c214 void * FreeRTOS_GetUDPPayloadBuffer( size_t xRequestedSizeBytes, in FreeRTOS_GetUDPPayloadBuffer() function
/FreeRTOS-Plus-TCP-v3.1.0/source/
DFreeRTOS_IP.c665 void * FreeRTOS_GetUDPPayloadBuffer( size_t uxRequestedSizeBytes, in FreeRTOS_GetUDPPayloadBuffer() function