Home
last modified time | relevance | path

Searched refs:ulDNSHandlePacket (Results 1 – 8 of 8) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/DNSHandlePacket/
DDNShandlePacket_harness.c23 ulDNSHandlePacket( &xNetworkBuffer ); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/source/include/
DFreeRTOS_DNS.h47 uint32_t ulDNSHandlePacket( const NetworkBufferDescriptor_t * pxNetworkBuffer );
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/parsing/ProcessReceivedUDPPacket_IPv6/
DProcessReceivedUDPPacket_IPv6_harness.c26 uint32_t ulDNSHandlePacket( NetworkBufferDescriptor_t * pxNetworkBuffer ) in ulDNSHandlePacket() function
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/parsing/ProcessReceivedUDPPacket/
DProcessReceivedUDPPacket_harness.c26 uint32_t ulDNSHandlePacket( NetworkBufferDescriptor_t * pxNetworkBuffer ) in ulDNSHandlePacket() function
/FreeRTOS-Plus-TCP-v4.0.0/source/
DFreeRTOS_UDP_IPv4.c507 xReturn = ( BaseType_t ) ulDNSHandlePacket( pxNetworkBuffer ); in xProcessReceivedUDPPacket_IPv4()
519 xReturn = ( BaseType_t ) ulDNSHandlePacket( pxNetworkBuffer ); in xProcessReceivedUDPPacket_IPv4()
540 xReturn = ( BaseType_t ) ulDNSHandlePacket( pxNetworkBuffer ); in xProcessReceivedUDPPacket_IPv4()
DFreeRTOS_UDP_IPv6.c596 xReturn = ( BaseType_t ) ulDNSHandlePacket( pxNetworkBuffer ); in xProcessReceivedUDPPacket_IPv6()
606 xReturn = ( BaseType_t ) ulDNSHandlePacket( pxNetworkBuffer ); in xProcessReceivedUDPPacket_IPv6()
616 xReturn = ( BaseType_t ) ulDNSHandlePacket( pxNetworkBuffer ); in xProcessReceivedUDPPacket_IPv6()
DFreeRTOS_DNS.c1584 uint32_t ulDNSHandlePacket( const NetworkBufferDescriptor_t * pxNetworkBuffer ) in ulDNSHandlePacket() function
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DNS/
DFreeRTOS_DNS_utest.c470 ret = ulDNSHandlePacket( &xNetworkBuffer ); in test_ulDNSHandlePacket_Success()
489 ret = ulDNSHandlePacket( &xNetworkBuffer ); in test_ulDNSHandlePacket_FailSmallBuffer()
509 ret = ulDNSHandlePacket( &xNetworkBuffer ); in test_ulDNSHandlePacket_FailSmallBuffer2()
539 ret = ulDNSHandlePacket( &xNetworkBuffer ); in test_ulDNSHandlePacket_FreeBuffer()