Home
last modified time | relevance | path

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

/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/DNS/DNSHandlePacket/
DDNShandlePacket_harness.c23 ulDNSHandlePacket( &xNetworkBuffer ); in harness()
/FreeRTOS-Plus-TCP-v3.1.0/source/include/
DFreeRTOS_DNS.h45 uint32_t ulDNSHandlePacket( const NetworkBufferDescriptor_t * pxNetworkBuffer );
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/parsing/ProcessReceivedUDPPacket/
DProcessReceivedUDPPacket_harness.c26 uint32_t ulDNSHandlePacket( NetworkBufferDescriptor_t * pxNetworkBuffer ) in ulDNSHandlePacket() function
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_DNS/
DFreeRTOS_DNS_utest.c416 ret = ulDNSHandlePacket( &xNetworkBuffer ); in test_ulDNSHandlePacket_success()
433 ret = ulDNSHandlePacket( &xNetworkBuffer ); in test_ulDNSHandlePacket_fail_small_buffer()
451 ret = ulDNSHandlePacket( &xNetworkBuffer ); in test_ulDNSHandlePacket_fail_small_buffer2()
/FreeRTOS-Plus-TCP-v3.1.0/source/
DFreeRTOS_UDP_IP.c467 xReturn = ( BaseType_t ) ulDNSHandlePacket( pxNetworkBuffer ); in xProcessReceivedUDPPacket()
478 xReturn = ( BaseType_t ) ulDNSHandlePacket( pxNetworkBuffer ); in xProcessReceivedUDPPacket()
DFreeRTOS_DNS.c765 uint32_t ulDNSHandlePacket( const NetworkBufferDescriptor_t * pxNetworkBuffer ) in ulDNSHandlePacket() function