Home
last modified time | relevance | path

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

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCP/DHCPProcessEndPoint/
DDHCPProcessEndPoint_harness.c129 void FreeRTOS_ReleaseUDPPayloadBuffer( void * pvBuffer ) in FreeRTOS_ReleaseUDPPayloadBuffer() function
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCP/DHCPProcess/
DDHCPProcess_harness.c136 void FreeRTOS_ReleaseUDPPayloadBuffer( void * pvBuffer ) in FreeRTOS_ReleaseUDPPayloadBuffer() function
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/stubs/
Dfreertos_api.c233 void FreeRTOS_ReleaseUDPPayloadBuffer( void * pvBuffer ) in FreeRTOS_ReleaseUDPPayloadBuffer() function
/FreeRTOS-Plus-TCP-v4.0.0/source/
DFreeRTOS_IP.c1045 void FreeRTOS_ReleaseUDPPayloadBuffer( void const * pvBuffer ) in FreeRTOS_ReleaseUDPPayloadBuffer() function