Home
last modified time | relevance | path

Searched refs:pxProtocolPacket (Results 1 – 3 of 3) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Routing/
DFreeRTOS_Routing_utest.c2700 …ProtocolPacket_t * pxProtocolPacket = ( ProtocolPacket_t * ) ( ( uintptr_t ) ( pcNetworkBuffer ) +… in test_FreeRTOS_MatchingEndpoint_MatchIPv4Address() local
2717 …memcpy( pxProtocolPacket->xTCPPacket.xEthernetHeader.xDestinationAddress.ucBytes, ucLocalMACAddres… in test_FreeRTOS_MatchingEndpoint_MatchIPv4Address()
2718 …memcpy( pxProtocolPacket->xTCPPacket.xEthernetHeader.xSourceAddress.ucBytes, ucLocalMACAddress_IPv… in test_FreeRTOS_MatchingEndpoint_MatchIPv4Address()
2719 pxProtocolPacket->xTCPPacket.xEthernetHeader.usFrameType = ipIPv4_FRAME_TYPE; in test_FreeRTOS_MatchingEndpoint_MatchIPv4Address()
2721 pxProtocolPacket->xTCPPacket.xIPHeader.ulSourceIPAddress = IPV4_DEFAULT_ADDRESS; in test_FreeRTOS_MatchingEndpoint_MatchIPv4Address()
2722 pxProtocolPacket->xTCPPacket.xIPHeader.ulDestinationIPAddress = IPV4_DEFAULT_ADDRESS; in test_FreeRTOS_MatchingEndpoint_MatchIPv4Address()
2724 …dPoint = FreeRTOS_MatchingEndpoint( &xNetworkInterface, ( const uint8_t * ) ( pxProtocolPacket ) ); in test_FreeRTOS_MatchingEndpoint_MatchIPv4Address()
2750 …ProtocolPacket_t * pxProtocolPacket = ( ProtocolPacket_t * ) ( ( uintptr_t ) ( pcNetworkBuffer ) +… in test_FreeRTOS_MatchingEndpoint_MatchMACAddress() local
2766 …memcpy( pxProtocolPacket->xTCPPacket.xEthernetHeader.xDestinationAddress.ucBytes, ucDefaultMACAddr… in test_FreeRTOS_MatchingEndpoint_MatchMACAddress()
2767 …memcpy( pxProtocolPacket->xTCPPacket.xEthernetHeader.xSourceAddress.ucBytes, ucDefaultMACAddress_I… in test_FreeRTOS_MatchingEndpoint_MatchMACAddress()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Routing/MatchingEndpoint/
DMatchingEndpoint_harness.c46 ProtocolPacket_t * pxProtocolPacket; in harness() local
50 pxProtocolPacket = ( ProtocolPacket_t * ) ( ( uintptr_t ) ( pcNetworkBuffer ) + 2U ); in harness()
51 __CPROVER_assume( pxProtocolPacket != NULL ); in harness()
75 FreeRTOS_MatchingEndpoint( pxNetworkInterface, ( const uint8_t * ) ( pxProtocolPacket ) ); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Routing_ConfigV4Only/
DFreeRTOS_Routing_ConfigV4Only_utest.c100 …ProtocolPacket_t * pxProtocolPacket = ( ProtocolPacket_t * ) ( ( uintptr_t ) ( pcNetworkBuffer ) +… in test_FreeRTOS_MatchingEndpoint_MatchCustomFrameType() local
116 …memcpy( pxProtocolPacket->xTCPPacket.xEthernetHeader.xDestinationAddress.ucBytes, ucDefaultMACAddr… in test_FreeRTOS_MatchingEndpoint_MatchCustomFrameType()
117 …memcpy( pxProtocolPacket->xTCPPacket.xEthernetHeader.xSourceAddress.ucBytes, ucDefaultMACAddress_I… in test_FreeRTOS_MatchingEndpoint_MatchCustomFrameType()
118 pxProtocolPacket->xTCPPacket.xEthernetHeader.usFrameType = 0xFF; in test_FreeRTOS_MatchingEndpoint_MatchCustomFrameType()
120 pxProtocolPacket->xTCPPacket.xIPHeader.ulSourceIPAddress = IPV4_DEFAULT_ADDRESS; in test_FreeRTOS_MatchingEndpoint_MatchCustomFrameType()
121 pxProtocolPacket->xTCPPacket.xIPHeader.ulDestinationIPAddress = IPV4_DEFAULT_ADDRESS; in test_FreeRTOS_MatchingEndpoint_MatchCustomFrameType()
123 …pxEndPoint = FreeRTOS_MatchingEndpoint( &xNetworkInterface, ( const uint8_t * ) pxProtocolPacket ); in test_FreeRTOS_MatchingEndpoint_MatchCustomFrameType()