Home
last modified time | relevance | path

Searched refs:FreeRTOS_ReleaseUDPPayloadBuffer (Results 1 – 8 of 8) 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_DHCP.c293 FreeRTOS_ReleaseUDPPayloadBuffer( pucUDPPayload ); in vDHCPProcess()
1336 FreeRTOS_ReleaseUDPPayloadBuffer( pucUDPPayload ); in prvProcessDHCPReplies()
1540 FreeRTOS_ReleaseUDPPayloadBuffer( pucUDPPayloadBuffer ); in prvSendDHCPRequest()
1625 FreeRTOS_ReleaseUDPPayloadBuffer( pucUDPPayloadBuffer ); in prvSendDHCPDiscover()
DFreeRTOS_DNS.c1348 FreeRTOS_ReleaseUDPPayloadBuffer( xReceiveBuffer.pucPayloadBuffer ); in prvGetHostByNameOp()
DFreeRTOS_IP.c1045 void FreeRTOS_ReleaseUDPPayloadBuffer( void const * pvBuffer ) in FreeRTOS_ReleaseUDPPayloadBuffer() function
/FreeRTOS-Plus-TCP-v4.0.0/source/include/
DFreeRTOS_IP.h379 void FreeRTOS_ReleaseUDPPayloadBuffer( void const * pvBuffer );
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP/
DFreeRTOS_IP_utest.c379 FreeRTOS_ReleaseUDPPayloadBuffer( pvBuffer ); in test_FreeRTOS_ReleaseUDPPayloadBuffer()
390 catch_assert( FreeRTOS_ReleaseUDPPayloadBuffer( NULL ) ); in test_FreeRTOS_ReleaseUDPPayloadBuffer_NullNetworkDescriptor()