Home
last modified time | relevance | path

Searched refs:UDPPacket_IPv6_t (Results 1 – 16 of 16) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_UDP_IPv6/
HDFreeRTOS_UDP_IPv6_utest.c112 UDPPacket_IPv6_t * pxUDPv6Packet; in test_xProcessReceivedUDPPacket_IPv6_ZeroChecksum()
118 pxUDPv6Packet = ( UDPPacket_IPv6_t * ) pucEthernetBuffer; in test_xProcessReceivedUDPPacket_IPv6_ZeroChecksum()
141 UDPPacket_IPv6_t * pxUDPv6Packet; in test_xProcessReceivedUDPPacket_IPv6_DNSReplyPass()
147 pxUDPv6Packet = ( UDPPacket_IPv6_t * ) pucEthernetBuffer; in test_xProcessReceivedUDPPacket_IPv6_DNSReplyPass()
173 UDPPacket_IPv6_t * pxUDPv6Packet; in test_xProcessReceivedUDPPacket_IPv6_DNSReplyFail()
179 pxUDPv6Packet = ( UDPPacket_IPv6_t * ) pucEthernetBuffer; in test_xProcessReceivedUDPPacket_IPv6_DNSReplyFail()
205 UDPPacket_IPv6_t * pxUDPv6Packet; in test_xProcessReceivedUDPPacket_IPv6_LLMNRRequestPass()
211 pxUDPv6Packet = ( UDPPacket_IPv6_t * ) pucEthernetBuffer; in test_xProcessReceivedUDPPacket_IPv6_LLMNRRequestPass()
237 UDPPacket_IPv6_t * pxUDPv6Packet; in test_xProcessReceivedUDPPacket_IPv6_LLMNRRequestFail()
243 pxUDPv6Packet = ( UDPPacket_IPv6_t * ) pucEthernetBuffer; in test_xProcessReceivedUDPPacket_IPv6_LLMNRRequestFail()
[all …]
HDFreeRTOS_UDP_IPv6_stubs.c60 …UDPPacket_IPv6_t * pxUDPv6Packet = ( UDPPacket_IPv6_t * ) ( pucData - ( ipSIZE_OF_ETH_HEADER + ipS… in UDPReceiveHandlerChecker()
108 UDPPacket_IPv6_t * pxUDPv6Packet; in prvPrepareDefaultNetworkbuffer()
121 pxUDPv6Packet = ( UDPPacket_IPv6_t * ) pucEthernetBuffer; in prvPrepareDefaultNetworkbuffer()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/IPUtils/pxUDPPayloadBuffer_to_NetworkBuffer/
HDpxUDPPayloadBuffer_to_NetworkBuffer_harness.c62 __CPROVER_assume( uxBufferLength > sizeof( UDPPacket_IPv6_t ) + ipconfigBUFFER_PADDING ); in harness()
79 …xNetworkBuffer->pucEthernetBuffer[ ipconfigBUFFER_PADDING + sizeof( UDPPacket_IPv6_t ) - ipUDP_PAY… in harness()
80 …uffer = &pxNetworkBuffer->pucEthernetBuffer[ ipconfigBUFFER_PADDING + sizeof( UDPPacket_IPv6_t ) ]; in harness()
/FreeRTOS-Plus-TCP-v4.0.0/source/include/
HDFreeRTOS_IPv6_Private.h68 #define ipUDP_PAYLOAD_OFFSET_IPv6 ( sizeof( UDPPacket_IPv6_t ) )
246 typedef struct xUDP_PACKET_IPv6 UDPPacket_IPv6_t; variable
/FreeRTOS-Plus-TCP-v4.0.0/source/
HDFreeRTOS_UDP_IPv6.c207 UDPPacket_IPv6_t * pxUDPPacket_IPv6; in vProcessGeneratedUDPPacket_IPv6()
223 pxUDPPacket_IPv6 = ( ( UDPPacket_IPv6_t * ) pxNetworkBuffer->pucEthernetBuffer ); in vProcessGeneratedUDPPacket_IPv6()
239 uxPayloadSize = pxNetworkBuffer->xDataLength - sizeof( UDPPacket_IPv6_t ); in vProcessGeneratedUDPPacket_IPv6()
432 const UDPPacket_IPv6_t * pxUDPPacket_IPv6; in xProcessReceivedUDPPacket_IPv6()
444 pxUDPPacket_IPv6 = ( ( UDPPacket_IPv6_t * ) pxNetworkBuffer->pucEthernetBuffer ); in xProcessReceivedUDPPacket_IPv6()
HDFreeRTOS_IPv6_Sockets.c111 …UDPPacket_IPv6_t * pxUDPPacket_IPv6 = ( ( UDPPacket_IPv6_t * ) pxNetworkBuffer->pucEthernetBuffer … in xSend_UDP_Update_IPv6()
136 …const UDPPacket_IPv6_t * pxUDPPacketV6 = ( ( const UDPPacket_IPv6_t * ) pxNetworkBuffer->pucEthern… in xRecv_Update_IPv6()
HDFreeRTOS_DNS_Parser.c924 UDPPacket_IPv6_t * xUDPPacket_IPv6; in prepareReplyDNSMessage()
927 xUDPPacket_IPv6 = ( ( UDPPacket_IPv6_t * ) pxNetworkBuffer->pucEthernetBuffer ); in prepareReplyDNSMessage()
HDFreeRTOS_IP_Utils.c759 uxOffset = sizeof( UDPPacket_IPv6_t ); in pxUDPPayloadBuffer_to_NetworkBuffer()
HDFreeRTOS_IP.c867 uxPayloadOffset = sizeof( UDPPacket_IPv6_t ); in FreeRTOS_GetUDPPayloadBuffer_Multi()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets_IPv6/
HDFreeRTOS_Sockets_IPv6_utest.c281 UDPPacket_IPv6_t * pxUDPPacket_IPv6; in test_xSend_UDP_Update_IPv6()
285 pxUDPPacket_IPv6 = ( ( UDPPacket_IPv6_t * ) xNetworkBuffer.pucEthernetBuffer ); in test_xSend_UDP_Update_IPv6()
305 UDPPacket_IPv6_t * pxUDPPacket_IPv6; in test_xRecv_Update_IPv6_InvalidFrame()
310 pxUDPPacket_IPv6 = ( ( UDPPacket_IPv6_t * ) xNetworkBuffer.pucEthernetBuffer ); in test_xRecv_Update_IPv6_InvalidFrame()
326 UDPPacket_IPv6_t * pxUDPPacket_IPv6; in test_xRecv_Update_IPv6_InvalidFrame_NullSourceAddress()
331 pxUDPPacket_IPv6 = ( ( UDPPacket_IPv6_t * ) xNetworkBuffer.pucEthernetBuffer ); in test_xRecv_Update_IPv6_InvalidFrame_NullSourceAddress()
348 UDPPacket_IPv6_t * pxUDPPacket_IPv6; in test_xRecv_Update_IPv6_InvalidFrame_ValidSourceAddress()
353 pxUDPPacket_IPv6 = ( ( UDPPacket_IPv6_t * ) xNetworkBuffer.pucEthernetBuffer ); in test_xRecv_Update_IPv6_InvalidFrame_ValidSourceAddress()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP_Utils_DiffConfig/
HDFreeRTOS_IP_Utils_DiffConfig_utest.c282 UDPPacket_IPv6_t * pxUDPv6Packet; in test_usGenerateProtocolChecksum_UDPv6IncomingPacket()
288 pxUDPv6Packet = ( UDPPacket_IPv6_t * ) pucEthernetBuffer; in test_usGenerateProtocolChecksum_UDPv6IncomingPacket()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/parsing/ProcessReceivedUDPPacket_IPv6/
HDProcessReceivedUDPPacket_IPv6_harness.c96 pxNetworkBuffer->pucEthernetBuffer = safeMalloc( sizeof( UDPPacket_IPv6_t ) ); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/UDP/vProcessGeneratedUDPPacket_IPv6/
HDvProcessGeneratedUDPPacket_IPv6_harness.c92 …__CPROVER_assume( xRequestedSizeBytes >= sizeof( UDPPacket_IPv6_t ) && xRequestedSizeBytes <= ipTO… in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP/
HDFreeRTOS_IP_utest.c360 …pxGetNetworkBufferWithDescriptor_ExpectAndReturn( sizeof( UDPPacket_IPv6_t ) + uxRequestedSizeByte… in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeEqualToConfig_IPv6()
364 …TEST_ASSERT_EQUAL( sizeof( UDPPacket_IPv6_t ) + uxRequestedSizeBytes, pxNetworkBuffer->xDataLength… in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeEqualToConfig_IPv6()
365 …TEST_ASSERT_EQUAL_PTR( &( pxNetworkBuffer->pucEthernetBuffer[ sizeof( UDPPacket_IPv6_t ) ] ), pvRe… in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeEqualToConfig_IPv6()
2782 UDPPacket_IPv6_t * pxUDPPacket; in test_prvProcessIPPacket_UDP_IPv6_HappyPath()
2793 pxUDPPacket = ( UDPPacket_IPv6_t * ) pxNetworkBuffer->pucEthernetBuffer; in test_prvProcessIPPacket_UDP_IPv6_HappyPath()
2805 …Header.usLength = FreeRTOS_ntohs( FreeRTOS_htons( ipconfigTCP_MSS ) - sizeof( UDPPacket_IPv6_t ) ); in test_prvProcessIPPacket_UDP_IPv6_HappyPath()
2827 UDPPacket_IPv6_t * pxUDPPacket; in test_prvProcessIPPacket_UDP_IPv6_ExtensionHappyPath()
2838 pxUDPPacket = ( UDPPacket_IPv6_t * ) pxNetworkBuffer->pucEthernetBuffer; in test_prvProcessIPPacket_UDP_IPv6_ExtensionHappyPath()
2855 …Header.usLength = FreeRTOS_ntohs( FreeRTOS_htons( ipconfigTCP_MSS ) - sizeof( UDPPacket_IPv6_t ) ); in test_prvProcessIPPacket_UDP_IPv6_ExtensionHappyPath()
2880 UDPPacket_IPv6_t * pxUDPPacket; in test_prvProcessIPPacket_UDP_IPv6_ExtensionHandleFail()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP_Utils/
HDFreeRTOS_IP_Utils_utest.c403 size_t uxOffset = sizeof( UDPPacket_IPv6_t ); in test_pxUDPPayloadBuffer_to_NetworkBuffer_IPv6()
1852 UDPPacket_IPv6_t * pxUDPv6Packet; in test_usGenerateProtocolChecksum_UDPv6IncomingCorrectCRC()
1858 pxUDPv6Packet = ( UDPPacket_IPv6_t * ) pucEthernetBuffer; in test_usGenerateProtocolChecksum_UDPv6IncomingCorrectCRC()
1885 UDPPacket_IPv6_t * pxUDPv6Packet; in test_usGenerateProtocolChecksum_UDPv6IncomingIncorrectCRC()
1891 pxUDPv6Packet = ( UDPPacket_IPv6_t * ) pucEthernetBuffer; in test_usGenerateProtocolChecksum_UDPv6IncomingIncorrectCRC()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets/
HDFreeRTOS_Sockets_UDP_API_utest.c767 xNetworkBuffer.xDataLength = sizeof( UDPPacket_IPv6_t ) + 100; in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_IPv6Packet100()
828 xNetworkBuffer.xDataLength = sizeof( UDPPacket_IPv6_t ) + 100; in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_UnknownIPHeaderSize()
1453 TEST_ASSERT_EQUAL( xNetworkBuffer.xDataLength, uxTotalDataLength + sizeof( UDPPacket_IPv6_t ) ); in test_FreeRTOS_sendto_IPTaskCalling_IPv6NonZeroCopy()