Searched refs:pcNetworkBuffer (Results 1 – 6 of 6) sorted by relevance
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv6_Utils/ |
| HD | FreeRTOS_IPv6_Utils_stubs.c | 87 …static uint8_t pcNetworkBuffer[ sizeof( EthernetHeader_t ) + sizeof( IPHeader_IPv6_t ) + TEST_IPv6… in prvInitializeNetworkDescriptorWithExtensionHeader() local
88 EthernetHeader_t * pxEthHeader = ( EthernetHeader_t * ) pcNetworkBuffer; in prvInitializeNetworkDescriptorWithExtensionHeader()
89 …IPHeader_IPv6_t * pxIPv6Header = ( IPHeader_IPv6_t * ) &( pcNetworkBuffer[ sizeof( EthernetHeader_… in prvInitializeNetworkDescriptorWithExtensionHeader()
90 …uint8_t * pxIPv6ExtHeader = ( uint8_t * ) &( pcNetworkBuffer[ sizeof( EthernetHeader_t ) + sizeof(… in prvInitializeNetworkDescriptorWithExtensionHeader()
114 xNetworkBuffer.pucEthernetBuffer = ( uint8_t * ) pcNetworkBuffer; in prvInitializeNetworkDescriptorWithExtensionHeader()
118 memset( pcNetworkBuffer, 0, sizeof( pcNetworkBuffer ) ); in prvInitializeNetworkDescriptorWithExtensionHeader()
129 pcNetworkBuffer[ uxIndex ] = ipIPv6_EXT_HEADER_ROUTING_HEADER; in prvInitializeNetworkDescriptorWithExtensionHeader()
130 pcNetworkBuffer[ uxIndex + 1 ] = 0; in prvInitializeNetworkDescriptorWithExtensionHeader()
132 pcNetworkBuffer[ uxIndex ] = ipIPv6_EXT_HEADER_FRAGMENT_HEADER; in prvInitializeNetworkDescriptorWithExtensionHeader()
133 pcNetworkBuffer[ uxIndex + 1 ] = 0; in prvInitializeNetworkDescriptorWithExtensionHeader()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv6/ |
| HD | FreeRTOS_IPv6_stubs.c | 76 static uint8_t pcNetworkBuffer[ sizeof( TCPPacket_IPv6_t ) ]; in prvInitializeNetworkDescriptor() local
77 TCPPacket_IPv6_t * pxTCPPacket = ( TCPPacket_IPv6_t * ) pcNetworkBuffer; in prvInitializeNetworkDescriptor()
86 memset( pcNetworkBuffer, 0, sizeof( pcNetworkBuffer ) ); in prvInitializeNetworkDescriptor()
112 …static uint8_t pcNetworkBuffer[ sizeof( EthernetHeader_t ) + sizeof( IPHeader_IPv6_t ) + TEST_IPv6… in prvInitializeNetworkDescriptorWithExtensionHeader() local
113 EthernetHeader_t * pxEthHeader = ( EthernetHeader_t * ) pcNetworkBuffer; in prvInitializeNetworkDescriptorWithExtensionHeader()
114 …IPHeader_IPv6_t * pxIPv6Header = ( IPHeader_IPv6_t * ) &( pcNetworkBuffer[ sizeof( EthernetHeader_… in prvInitializeNetworkDescriptorWithExtensionHeader()
115 …uint8_t * pxIPv6ExtHeader = ( uint8_t * ) &( pcNetworkBuffer[ sizeof( EthernetHeader_t ) + sizeof(… in prvInitializeNetworkDescriptorWithExtensionHeader()
139 xNetworkBuffer.pucEthernetBuffer = ( uint8_t * ) pcNetworkBuffer; in prvInitializeNetworkDescriptorWithExtensionHeader()
143 memset( pcNetworkBuffer, 0, sizeof( pcNetworkBuffer ) ); in prvInitializeNetworkDescriptorWithExtensionHeader()
154 pcNetworkBuffer[ uxIndex ] = ipIPv6_EXT_HEADER_ROUTING_HEADER; in prvInitializeNetworkDescriptorWithExtensionHeader()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Routing_ConfigV4Only/ |
| HD | FreeRTOS_Routing_ConfigV4Only_utest.c | 99 uint8_t * pcNetworkBuffer[ sizeof( TCPPacket_t ) + 4 ] __attribute__( ( aligned( 32 ) ) ); in test_FreeRTOS_MatchingEndpoint_MatchCustomFrameType() local
100 …ProtocolPacket_t * pxProtocolPacket = ( ProtocolPacket_t * ) ( ( uintptr_t ) ( pcNetworkBuffer ) +… in test_FreeRTOS_MatchingEndpoint_MatchCustomFrameType()
114 memset( pcNetworkBuffer, 0, sizeof( pcNetworkBuffer ) ); in test_FreeRTOS_MatchingEndpoint_MatchCustomFrameType()
147 uint8_t * pcNetworkBuffer[ sizeof( TCPPacket_IPv6_t ) + 4 ] __attribute__( ( aligned( 32 ) ) ); in test_FreeRTOS_MatchingEndpoint_IPv6Disabled() local
148 …TCPPacket_IPv6_t * pxTCPPacket = ( TCPPacket_IPv6_t * ) ( ( uintptr_t ) ( pcNetworkBuffer ) + 2U ); in test_FreeRTOS_MatchingEndpoint_IPv6Disabled()
162 memset( pcNetworkBuffer, 0, sizeof( pcNetworkBuffer ) ); in test_FreeRTOS_MatchingEndpoint_IPv6Disabled()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv6_ConfigDriverCheckChecksum/ |
| HD | FreeRTOS_IPv6_ConfigDriverCheckChecksum_stubs.c | 80 …static uint8_t pcNetworkBuffer[ sizeof( TCPPacket_IPv6_t ) + TEST_DEFAULT_PROTOCOL_PAYLOAD_LENGTH … in prvInitializeNetworkDescriptor() local
81 TCPPacket_IPv6_t * pxTCPPacket = ( TCPPacket_IPv6_t * ) pcNetworkBuffer; in prvInitializeNetworkDescriptor()
90 memset( pcNetworkBuffer, 0, sizeof( pcNetworkBuffer ) ); in prvInitializeNetworkDescriptor()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Routing/ |
| HD | FreeRTOS_Routing_utest.c | 2699 uint8_t * pcNetworkBuffer[ sizeof( ProtocolPacket_t ) + 4 ] __attribute__( ( aligned( 32 ) ) ); in test_FreeRTOS_MatchingEndpoint_MatchIPv4Address() local
2700 …ProtocolPacket_t * pxProtocolPacket = ( ProtocolPacket_t * ) ( ( uintptr_t ) ( pcNetworkBuffer ) +… in test_FreeRTOS_MatchingEndpoint_MatchIPv4Address()
2715 memset( pcNetworkBuffer, 0, sizeof( pcNetworkBuffer ) ); in test_FreeRTOS_MatchingEndpoint_MatchIPv4Address()
2749 uint8_t * pcNetworkBuffer[ sizeof( ProtocolPacket_t ) + 4 ] __attribute__( ( aligned( 32 ) ) ); in test_FreeRTOS_MatchingEndpoint_MatchMACAddress() local
2750 …ProtocolPacket_t * pxProtocolPacket = ( ProtocolPacket_t * ) ( ( uintptr_t ) ( pcNetworkBuffer ) +… in test_FreeRTOS_MatchingEndpoint_MatchMACAddress()
2764 memset( pcNetworkBuffer, 0, sizeof( pcNetworkBuffer ) ); in test_FreeRTOS_MatchingEndpoint_MatchMACAddress()
2798 uint8_t * pcNetworkBuffer[ sizeof( ProtocolPacket_t ) + 4 ] __attribute__( ( aligned( 32 ) ) ); in test_FreeRTOS_MatchingEndpoint_ARPReqMatchIPv4Address() local
2799 …ProtocolPacket_t * pxProtocolPacket = ( ProtocolPacket_t * ) ( ( uintptr_t ) ( pcNetworkBuffer ) +… in test_FreeRTOS_MatchingEndpoint_ARPReqMatchIPv4Address()
2815 memset( pcNetworkBuffer, 0, sizeof( pcNetworkBuffer ) ); in test_FreeRTOS_MatchingEndpoint_ARPReqMatchIPv4Address()
2850 uint8_t * pcNetworkBuffer[ sizeof( ProtocolPacket_t ) + 4 ] __attribute__( ( aligned( 32 ) ) ); in test_FreeRTOS_MatchingEndpoint_ARPReqMatchMACAddress() local
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Routing/MatchingEndpoint/ |
| HD | MatchingEndpoint_harness.c | 45 uint8_t * pcNetworkBuffer = safeMalloc( sizeof( ProtocolPacket_t ) + 4 ); in harness() local
48 __CPROVER_assume( pcNetworkBuffer != NULL ); in harness()
50 pxProtocolPacket = ( ProtocolPacket_t * ) ( ( uintptr_t ) ( pcNetworkBuffer ) + 2U ); in harness()
|
