Home
last modified time | relevance | path

Searched refs:UDPPacket_t (Results 1 – 19 of 19) sorted by relevance

/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_UDP_IP/
DFreeRTOS_UDP_IP_utest.c114 UDPPacket_t * pxUDPPacket; in test_vProcessGeneratedUDPPacket_CacheMiss_PacketSmaller()
126 pxUDPPacket = ( UDPPacket_t * ) pucLocalEthernetBuffer; in test_vProcessGeneratedUDPPacket_CacheMiss_PacketSmaller()
152 UDPPacket_t * pxUDPPacket; in test_vProcessGeneratedUDPPacket_CacheMiss_PacketNotSmaller()
156 xLocalNetworkBuffer.xDataLength = sizeof( UDPPacket_t ); in test_vProcessGeneratedUDPPacket_CacheMiss_PacketNotSmaller()
164 pxUDPPacket = ( UDPPacket_t * ) pucLocalEthernetBuffer; in test_vProcessGeneratedUDPPacket_CacheMiss_PacketNotSmaller()
188 UDPPacket_t * pxUDPPacket; in test_vProcessGeneratedUDPPacket_UnknownARPReturn()
201 pxUDPPacket = ( UDPPacket_t * ) pucLocalEthernetBuffer; in test_vProcessGeneratedUDPPacket_UnknownARPReturn()
221 UDPPacket_t * pxUDPPacket; in test_vProcessGeneratedUDPPacket_CacheHit_NoICMP()
230 xLocalNetworkBuffer.xDataLength = sizeof( UDPPacket_t ); in test_vProcessGeneratedUDPPacket_CacheHit_NoICMP()
236 pxUDPPacket = ( UDPPacket_t * ) pucLocalEthernetBuffer; in test_vProcessGeneratedUDPPacket_CacheHit_NoICMP()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/stubs/
Dfreertos_api.c152 __CPROVER_assume( payload_size + sizeof( UDPPacket_t ) in FreeRTOS_recvfrom()
167 uint32_t buffer_size = payload_size + sizeof( UDPPacket_t ); in FreeRTOS_recvfrom()
176 buffer = buffer + sizeof( UDPPacket_t ); in FreeRTOS_recvfrom()
177 buffer_size = buffer_size - sizeof( UDPPacket_t ); in FreeRTOS_recvfrom()
220 __CPROVER_assume( size >= sizeof( UDPPacket_t ) ); in FreeRTOS_GetUDPPayloadBuffer()
224 return buffer == NULL ? buffer : buffer + sizeof( UDPPacket_t ); in FreeRTOS_GetUDPPayloadBuffer()
237 == sizeof( UDPPacket_t ), in FreeRTOS_ReleaseUDPPayloadBuffer()
240 free( pvBuffer - sizeof( UDPPacket_t ) ); in FreeRTOS_ReleaseUDPPayloadBuffer()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_DNS/
DFreeRTOS_DNS_utest.c411 xNetworkBuffer.xDataLength = sizeof( UDPPacket_t ) + sizeof( DNSMessage_t ); in test_ulDNSHandlePacket_success()
412 xNetworkBuffer.pucEthernetBuffer = malloc( sizeof( UDPPacket_t ) + in test_ulDNSHandlePacket_success()
430 xNetworkBuffer.xDataLength = sizeof( UDPPacket_t ) - 2; in test_ulDNSHandlePacket_fail_small_buffer()
431 xNetworkBuffer.pucEthernetBuffer = malloc( sizeof( UDPPacket_t ) - 2 ); in test_ulDNSHandlePacket_fail_small_buffer()
448 xNetworkBuffer.xDataLength = sizeof( UDPPacket_t ) + 2; in test_ulDNSHandlePacket_fail_small_buffer2()
449 xNetworkBuffer.pucEthernetBuffer = malloc( sizeof( UDPPacket_t ) + 2 ); in test_ulDNSHandlePacket_fail_small_buffer2()
464 size_t uxBytesNeeded = sizeof( UDPPacket_t ) + sizeof( NBNSRequest_t ); in test_ulNBNSHandlePacket_success()
483 size_t uxBytesNeeded = sizeof( UDPPacket_t ) + sizeof( NBNSRequest_t ); in test_ulNBNSHandlePacket_fail_small_buffer()
587 size_t uxBytesNeeded = sizeof( UDPPacket_t ) + sizeof( NBNSRequest_t ); in test_FreeRTOS_gethostbyname_a_no_callback_retry_once()
/FreeRTOS-Plus-TCP-v3.1.0/source/
DFreeRTOS_DNS.c772 if( pxNetworkBuffer->xDataLength >= sizeof( UDPPacket_t ) ) in ulDNSHandlePacket()
774 uxPayloadSize = pxNetworkBuffer->xDataLength - sizeof( UDPPacket_t ); in ulDNSHandlePacket()
778 pucPayLoadBuffer = &( pxNetworkBuffer->pucEthernetBuffer[ sizeof( UDPPacket_t ) ] ); in ulDNSHandlePacket()
804 UDPPacket_t * pxUDPPacket = ( ( UDPPacket_t * ) in ulNBNSHandlePacket()
808 size_t uxBytesNeeded = sizeof( UDPPacket_t ) + sizeof( NBNSRequest_t ); in ulNBNSHandlePacket()
DFreeRTOS_UDP_IP.c96 UDPPacket_t * pxUDPPacket; in vProcessGeneratedUDPPacket()
110 pxUDPPacket = ( ( UDPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer ); in vProcessGeneratedUDPPacket()
120 uxPayloadSize = pxNetworkBuffer->xDataLength - sizeof( UDPPacket_t ); in vProcessGeneratedUDPPacket()
322 … const UDPPacket_t * pxUDPPacket = ( ( const UDPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer ); in xProcessReceivedUDPPacket()
DFreeRTOS_IP.c681 …pxNetworkBuffer = pxGetNetworkBufferWithDescriptor( sizeof( UDPPacket_t ) + uxRequestedSizeBytes, … in FreeRTOS_GetUDPPayloadBuffer()
686 pxNetworkBuffer->xDataLength = sizeof( UDPPacket_t ) + uxRequestedSizeBytes; in FreeRTOS_GetUDPPayloadBuffer()
688 pvReturn = &( pxNetworkBuffer->pucEthernetBuffer[ sizeof( UDPPacket_t ) ] ); in FreeRTOS_GetUDPPayloadBuffer()
1719 … const UDPPacket_t * pxUDPPacket = ( ( const UDPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer ); in prvProcessIPPacket()
1728 if( ( pxNetworkBuffer->xDataLength < sizeof( UDPPacket_t ) ) || in prvProcessIPPacket()
1750 … uxPayloadSize_1 = pxNetworkBuffer->xDataLength - sizeof( UDPPacket_t ); in prvProcessIPPacket()
1755 … pxNetworkBuffer->xDataLength = uxPayloadSize_2 + sizeof( UDPPacket_t ); in prvProcessIPPacket()
DFreeRTOS_DNS_Parser.c739 UDPPacket_t * pxUDPPacket; in prepareReplyDNSMessage()
744 pxUDPPacket = ( ( UDPPacket_t * ) in prepareReplyDNSMessage()
897 … pucUDPPayloadBuffer = &( pxNewBuffer->pucEthernetBuffer[ sizeof( UDPPacket_t ) ] ); in DNS_TreatNBNS()
DFreeRTOS_IP_Utils.c289 return prvPacketBuffer_to_NetworkBuffer( pvBuffer, sizeof( UDPPacket_t ) ); in pxUDPPayloadBuffer_to_NetworkBuffer()
DFreeRTOS_DHCP.c1015 …pxNetworkBuffer = pxGetNetworkBufferWithDescriptor( sizeof( UDPPacket_t ) + uxRequiredBufferSize, … in prvCreatePartDHCPMessage()
DFreeRTOS_Sockets.c966 uxPayloadLength = pxNetworkBuffer->xDataLength - sizeof( UDPPacket_t ); in FreeRTOS_recvfrom()
1150 pxNetworkBuffer->xDataLength = uxTotalDataLength + sizeof( UDPPacket_t ); in FreeRTOS_sendto()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Sockets/
DFreeRTOS_Sockets_UDP_API_utest.c420 xNetworkBuffer.xDataLength = sizeof( UDPPacket_t ); in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_JustUDPHeader()
478 xNetworkBuffer.xDataLength = sizeof( UDPPacket_t ) + 100; in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_Packet100()
537 xNetworkBuffer.xDataLength = sizeof( UDPPacket_t ) + 100; in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_Packet100SizeSmall()
597 xNetworkBuffer.xDataLength = sizeof( UDPPacket_t ) + 100; in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_Packet100SizeSmall_Peek()
652 xNetworkBuffer.xDataLength = sizeof( UDPPacket_t ) + 100; in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_Packet100SizeSmall_Peek_SourceAddrNULL()
705 xNetworkBuffer.xDataLength = sizeof( UDPPacket_t ) + 100; in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_Packet100SizeSmall_ZeroCopyAndPeek()
756 xNetworkBuffer.xDataLength = sizeof( UDPPacket_t ) + 100; in test_FreeRTOS_recvfrom_BlockingGetsPacketInBegining_Packet100SizeSmall_ZeroCopyAndPeek()
905 TEST_ASSERT_EQUAL( xNetworkBuffer.xDataLength, uxTotalDataLength + sizeof( UDPPacket_t ) ); in test_FreeRTOS_sendto_IPTaskCalling_NonZeroCopy()
952 TEST_ASSERT_EQUAL( xNetworkBuffer.xDataLength, uxTotalDataLength + sizeof( UDPPacket_t ) ); in test_FreeRTOS_sendto_IPTaskCalling_NonZeroCopy1()
999 TEST_ASSERT_EQUAL( xNetworkBuffer.xDataLength, uxTotalDataLength + sizeof( UDPPacket_t ) ); in test_FreeRTOS_sendto_IPTaskCalling_NonZeroCopy2()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/DNS/DNSHandlePacket/
DDNShandlePacket_harness.c22 xNetworkBuffer.pucEthernetBuffer = malloc( sizeof( UDPPacket_t ) + sizeof( DNSMessage_t ) ); in harness()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP/
DFreeRTOS_IP_utest.c230 …pxGetNetworkBufferWithDescriptor_ExpectAndReturn( sizeof( UDPPacket_t ) + uxRequestedSizeBytes, ux… in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeEqualToConfig()
234 TEST_ASSERT_EQUAL( sizeof( UDPPacket_t ) + uxRequestedSizeBytes, pxNetworkBuffer->xDataLength ); in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeEqualToConfig()
235 …TEST_ASSERT_EQUAL_PTR( &( pxNetworkBuffer->pucEthernetBuffer[ sizeof( UDPPacket_t ) ] ), pvReturn … in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeEqualToConfig()
250 …pxGetNetworkBufferWithDescriptor_ExpectAndReturn( sizeof( UDPPacket_t ) + uxRequestedSizeBytes, ux… in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeLessThanConfig()
254 TEST_ASSERT_EQUAL( sizeof( UDPPacket_t ) + uxRequestedSizeBytes, pxNetworkBuffer->xDataLength ); in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeLessThanConfig()
255 …TEST_ASSERT_EQUAL_PTR( &( pxNetworkBuffer->pucEthernetBuffer[ sizeof( UDPPacket_t ) ] ), pvReturn … in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeLessThanConfig()
270 …pxGetNetworkBufferWithDescriptor_ExpectAndReturn( sizeof( UDPPacket_t ) + uxRequestedSizeBytes, ip… in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeMoreThanConfig()
274 TEST_ASSERT_EQUAL( sizeof( UDPPacket_t ) + uxRequestedSizeBytes, pxNetworkBuffer->xDataLength ); in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeMoreThanConfig()
275 …TEST_ASSERT_EQUAL_PTR( &( pxNetworkBuffer->pucEthernetBuffer[ sizeof( UDPPacket_t ) ] ), pvReturn … in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeMoreThanConfig()
284 …pxGetNetworkBufferWithDescriptor_ExpectAndReturn( sizeof( UDPPacket_t ) + uxRequestedSizeBytes, ip… in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeMoreThanConfig_NULLBufferReturned()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/parsing/ProcessReceivedUDPPacket/
DProcessReceivedUDPPacket_harness.c63 pxNetworkBuffer->pucEthernetBuffer = safeMalloc( sizeof( UDPPacket_t ) ); in harness()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/UDP/vProcessGeneratedUDPPacket/
DvProcessGeneratedUDPPacket_harness.c85 …__CPROVER_assume( xRequestedSizeBytes >= sizeof( UDPPacket_t ) && xRequestedSizeBytes <= ipTOTAL_E… in harness()
/FreeRTOS-Plus-TCP-v3.1.0/source/include/
DFreeRTOS_IP_Private.h203 typedef struct xUDP_PACKET UDPPacket_t; variable
223 UDPPacket_t xUDPPacket; /**< Union member: UDP packet struct */
288 #define ipUDP_PAYLOAD_OFFSET_IPv4 ( sizeof( UDPPacket_t ) )
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP_DiffConfig/
DFreeRTOS_IP_DiffConfig_utest.c463 pxNetworkBuffer->xDataLength = sizeof( UDPPacket_t ); in test_prvAllowIPPacket_UDPCheckSumZero()
500 pxNetworkBuffer->xDataLength = sizeof( UDPPacket_t ); in test_prvAllowIPPacket_UDP_HappyPath()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_DNS_Parser/
DFreeRTOS_DNS_Parser_utest.c446 UDPPacket_t * pxUDPPacket; in test_prepareReplyDNSMessage_success()
450 pxUDPPacket = ( ( UDPPacket_t * ) in test_prepareReplyDNSMessage_success()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP_Utils/
DFreeRTOS_IP_Utils_utest.c235 size_t uxOffset = sizeof( UDPPacket_t ); in test_pxUDPPayloadBuffer_to_NetworkBuffer()