Home
last modified time | relevance | path

Searched defs:pucUDPPayloadBuffer (Results 1 – 8 of 8) sorted by relevance

/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/DNS/DNSgetHostByName_a/
DDNSgetHostByName_a_harness.c50 uint32_t DNS_ParseDNSReply( uint8_t * pucUDPPayloadBuffer, in DNS_ParseDNSReply()
70 size_t prvCreateDNSMessage( uint8_t * pucUDPPayloadBuffer, in prvCreateDNSMessage()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/DNS/DNSgetHostByName/
DDNSgetHostByName_harness.c63 uint32_t DNS_ParseDNSReply( uint8_t * pucUDPPayloadBuffer, in DNS_ParseDNSReply()
145 size_t prvCreateDNSMessage( uint8_t * pucUDPPayloadBuffer, in prvCreateDNSMessage()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_DNS_Parser/
DFreeRTOS_DNS_Parser_utest.c759 uint8_t pucUDPPayloadBuffer[ sizeof( DNSMessage_t ) - 2 ]; in test_DNS_ParseDNSReply_fail_small_buffer() local
775 uint8_t pucUDPPayloadBuffer[ 300 ] = { 0 }; in test_DNS_ParseDNSReply_fail_no_namefield() local
792 uint8_t pucUDPPayloadBuffer[ 300 ]; in test_DNS_ParseDNSReply_fail() local
814 uint8_t pucUDPPayloadBuffer[ 300 ]; in test_DNS_ParseDNSReply_fail_empty_namefield() local
839 uint8_t pucUDPPayloadBuffer[ 250 ]; in test_DNS_ParseDNSReply_fail_not_enough_space_lt_32() local
893 uint8_t pucUDPPayloadBuffer[ 250 ]; in test_DNS_ParseDNSReply_ansswer_record_no_answers() local
925 uint8_t pucUDPPayloadBuffer[ 250 ] = { 0 }; in test_DNS_ParseDNSReply_ansswer_record_too_many_answers() local
977 uint8_t pucUDPPayloadBuffer[ 250 ] = { 0 }; in test_DNS_ParseDNSReply_ansswer_lmmnr_reply_xBufferAllocFixesize() local
1049 uint8_t pucUDPPayloadBuffer[ 250 ] = { 0 }; in test_DNS_ParseDNSReply_ansswer_lmmnr_reply() local
1127 uint8_t pucUDPPayloadBuffer[ 250 ] = { 0 }; in test_DNS_ParseDNSReply_ansswer_lmmnr_reply2() local
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/DNS/DNSHandlePacket/
DDNShandlePacket_harness.c12 uint32_t prvParseDNSReply( uint8_t * pucUDPPayloadBuffer, in prvParseDNSReply()
/FreeRTOS-Plus-TCP-v3.1.0/source/
DFreeRTOS_DHCP.c998 uint8_t * pucUDPPayloadBuffer = NULL; in prvCreatePartDHCPMessage() local
1095 uint8_t * pucUDPPayloadBuffer; in prvSendDHCPRequest() local
1162 uint8_t * pucUDPPayloadBuffer; in prvSendDHCPDiscover() local
DFreeRTOS_DNS.c354 uint8_t * pucUDPPayloadBuffer = NULL; in prvGetPayloadBuffer() local
651 _static size_t prvCreateDNSMessage( uint8_t * pucUDPPayloadBuffer, in prvCreateDNSMessage()
806 … uint8_t * pucUDPPayloadBuffer = &( pxNetworkBuffer->pucEthernetBuffer[ sizeof( *pxUDPPacket ) ] ); in ulNBNSHandlePacket() local
DFreeRTOS_DNS_Parser.c253 uint32_t DNS_ParseDNSReply( uint8_t * pucUDPPayloadBuffer, in DNS_ParseDNSReply()
812 uint8_t * pucUDPPayloadBuffer = pucPayload; in DNS_TreatNBNS() local
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/ParseDNSReply/
DParseDNSReply_harness.c118 uint8_t * pucUDPPayloadBuffer = malloc( uxBufferLength ); in harness() local