Home
last modified time | relevance | path

Searched refs:pucPayloadBuffer (Results 1 – 5 of 5) sorted by relevance

/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_DNS/
DFreeRTOS_DNS_utest.c263 xReceiveBuffer.pucPayloadBuffer = NULL; in test_FreeRTOS_gethostbyname_fail_read_dns_reply_null()
309 xReceiveBuffer.pucPayloadBuffer = malloc( 300 ); in test_FreeRTOS_gethostbyname_fail_send_dns_reply_zero()
311 memset( xReceiveBuffer.pucPayloadBuffer, 0x00, 300 ); in test_FreeRTOS_gethostbyname_fail_send_dns_reply_zero()
312 DNSMessage_t * header = ( DNSMessage_t * ) xReceiveBuffer.pucPayloadBuffer; in test_FreeRTOS_gethostbyname_fail_send_dns_reply_zero()
348 free( xReceiveBuffer.pucPayloadBuffer ); in test_FreeRTOS_gethostbyname_fail_send_dns_reply_zero()
362 xReceiveBuffer.pucPayloadBuffer = malloc( 300 ); in test_FreeRTOS_gethostbyname_succes()
364 memset( xReceiveBuffer.pucPayloadBuffer, 0x00, 300 ); in test_FreeRTOS_gethostbyname_succes()
365 DNSMessage_t * header = ( DNSMessage_t * ) xReceiveBuffer.pucPayloadBuffer; in test_FreeRTOS_gethostbyname_succes()
398 free( xReceiveBuffer.pucPayloadBuffer ); in test_FreeRTOS_gethostbyname_succes()
591 xReceiveBuffer.pucPayloadBuffer = malloc( 300 ); in test_FreeRTOS_gethostbyname_a_no_callback_retry_once()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/source/
DFreeRTOS_DNS.c434 pxReceiveBuffer->pucPayloadBuffer ); in prvDNSReply()
454 ulIPAddress = DNS_ParseDNSReply( pxReceiveBuffer->pucPayloadBuffer, in prvDNSReply()
480 xDNSBuf.pucPayloadBuffer = prvGetPayloadBuffer( &pxNetworkBuffer, in prvSendBuffer()
483 if( xDNSBuf.pucPayloadBuffer != NULL ) in prvSendBuffer()
491 ( ( ( DNSMessage_t * ) xDNSBuf.pucPayloadBuffer ) )->usFlags = 0; in prvSendBuffer()
496 xDNSBuf.uxPayloadLength = prvCreateDNSMessage( xDNSBuf.pucPayloadBuffer, in prvSendBuffer()
552 if( xReceiveBuffer.pucPayloadBuffer == NULL ) in prvGetHostByNameOp()
562 FreeRTOS_ReleaseUDPPayloadBuffer( xReceiveBuffer.pucPayloadBuffer ); in prvGetHostByNameOp()
DFreeRTOS_DNS_Networking.c105 pxDNSBuf->pucPayloadBuffer, in DNS_SendRequest()
137 … &pxReceiveBuffer->pucPayloadBuffer, in DNS_ReadReply()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/DNS/DNSgetHostByName/
DDNSgetHostByName_harness.c103 pxDNSBuf->pucPayloadBuffer = safeMalloc( len ); in DNS_ReadReply()
108 __CPROVER_assume( pxDNSBuf->pucPayloadBuffer != NULL ); in DNS_ReadReply()
110 __CPROVER_havoc_slice( pxDNSBuf->pucPayloadBuffer, pxDNSBuf->uxPayloadSize ); in DNS_ReadReply()
/FreeRTOS-Plus-TCP-v3.1.0/source/include/
DFreeRTOS_DNS_Globals.h237 uint8_t * pucPayloadBuffer; /**< Buffer pointer */ member