Home
last modified time | relevance | path

Searched refs:pxEndPoint (Results 1 – 25 of 131) sorted by relevance

123456

/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DHCP/
DFreeRTOS_DHCP_utest.c77 struct xNetworkEndPoint xEndPoint = { 0 }, * pxEndPoint = &xEndPoint; in test_eGetDHCPState() local
82 pxEndPoint->xDHCPData.eDHCPState = i; in test_eGetDHCPState()
99 struct xNetworkEndPoint xEndPoint = { 0 }, * pxEndPoint = &xEndPoint; in test_vDHCPProcess_NotResetAndIncorrectState() local
101 pxEndPoint->xDHCPData.eDHCPState = eSendDHCPRequest; in test_vDHCPProcess_NotResetAndIncorrectState()
102 pxEndPoint->xDHCPData.eExpectedState = eWaitingSendFirstDiscover; in test_vDHCPProcess_NotResetAndIncorrectState()
103 vDHCPProcess( pdFALSE, pxEndPoint ); in test_vDHCPProcess_NotResetAndIncorrectState()
107 TEST_ASSERT_EQUAL( eSendDHCPRequest, pxEndPoint->xDHCPData.eDHCPState ); in test_vDHCPProcess_NotResetAndIncorrectState()
112 struct xNetworkEndPoint xEndPoint = { 0 }, * pxEndPoint = &xEndPoint; in test_vDHCPProcess_ResetAndIncorrectStateWithRNGFail() local
114 pxEndPoint->xDHCPData.eDHCPState = eSendDHCPRequest; in test_vDHCPProcess_ResetAndIncorrectStateWithRNGFail()
115 pxEndPoint->xDHCPData.eExpectedState = eWaitingSendFirstDiscover; in test_vDHCPProcess_ResetAndIncorrectStateWithRNGFail()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/source/
DFreeRTOS_Routing.c63 NetworkEndPoint_t * pxEndPoint );
91 NetworkEndPoint_t * pxEndPoint, in FreeRTOS_FillEndPoint() argument
100 if( ( pxNetworkInterface == NULL ) || ( pxEndPoint == NULL ) ) in FreeRTOS_FillEndPoint()
105 ( void * ) pxEndPoint ) ); in FreeRTOS_FillEndPoint()
112 ( void ) memset( pxEndPoint, 0, sizeof( *pxEndPoint ) ); in FreeRTOS_FillEndPoint()
115 …pxEndPoint->ipv4_settings.ulNetMask = FreeRTOS_inet_addr_quick( ucNetMask[ 0 ], ucNetMask[ 1 ], uc… in FreeRTOS_FillEndPoint()
116 …pxEndPoint->ipv4_settings.ulGatewayAddress = FreeRTOS_inet_addr_quick( ucGatewayAddress[ 0 ], ucGa… in FreeRTOS_FillEndPoint()
117 …pxEndPoint->ipv4_settings.ulDNSServerAddresses[ 0 ] = FreeRTOS_inet_addr_quick( ucDNSServerAddress… in FreeRTOS_FillEndPoint()
118 …pxEndPoint->ipv4_settings.ulBroadcastAddress = ulIPAddress | ~( pxEndPoint->ipv4_settings.ulNetMas… in FreeRTOS_FillEndPoint()
121 …( void ) memcpy( &( pxEndPoint->ipv4_defaults ), &( pxEndPoint->ipv4_settings ), sizeof( pxEndPoin… in FreeRTOS_FillEndPoint()
[all …]
DFreeRTOS_RA.c71 static void vRAProcessInit( NetworkEndPoint_t * pxEndPoint );
81 static TickType_t xRAProcess_HandleWaitStates( NetworkEndPoint_t * pxEndPoint,
85 static TickType_t xRAProcess_HandleOtherStates( NetworkEndPoint_t * pxEndPoint,
103 NetworkEndPoint_t * pxEndPoint; in xGetLinkLocalAddress() local
105 for( pxEndPoint = FreeRTOS_FirstEndPoint( pxInterface ); in xGetLinkLocalAddress()
106 pxEndPoint != NULL; in xGetLinkLocalAddress()
107 pxEndPoint = FreeRTOS_NextEndPoint( pxInterface, pxEndPoint ) ) in xGetLinkLocalAddress()
110 if( ( pxEndPoint->ipv6_settings.xIPAddress.ucBytes[ 0 ] == 0xfeU ) && in xGetLinkLocalAddress()
111 ( ( pxEndPoint->ipv6_settings.xIPAddress.ucBytes[ 1 ] & 0xc0U ) == 0x80U ) ) in xGetLinkLocalAddress()
113 …( void ) memcpy( pxAddress->ucBytes, pxEndPoint->ipv6_settings.xIPAddress.ucBytes, ipSIZE_OF_IPv6_… in xGetLinkLocalAddress()
[all …]
DFreeRTOS_DHCP.c62 …#define EP_DHCPData pxEndPoint->xDHCPData /**< Temporary define to make /s…
63 …#define EP_IPv4_SETTINGS pxEndPoint->ipv4_settings /**< Temporary define to make /s…
92 static BaseType_t prvSendDHCPDiscover( NetworkEndPoint_t * pxEndPoint );
98 NetworkEndPoint_t * pxEndPoint );
103 static BaseType_t prvSendDHCPRequest( NetworkEndPoint_t * pxEndPoint );
109 static void prvInitialiseDHCP( NetworkEndPoint_t * pxEndPoint );
119 const NetworkEndPoint_t * pxEndPoint );
124 _static void prvCreateDHCPSocket( const NetworkEndPoint_t * pxEndPoint );
129 static void prvCloseDHCPSocket( const NetworkEndPoint_t * pxEndPoint );
133 NetworkEndPoint_t * pxEndPoint );
[all …]
DFreeRTOS_DHCPv6.c75 #define EP_DHCPData pxEndPoint->xDHCPData
77 #define EP_IPv6_SETTINGS pxEndPoint->ipv6_settings
98 static BaseType_t prvDHCPv6Analyse( struct xNetworkEndPoint * pxEndPoint,
104 NetworkEndPoint_t * pxEndPoint,
107 static void prvInitialiseDHCPv6( NetworkEndPoint_t * pxEndPoint );
109 static void prvSendDHCPMessage( NetworkEndPoint_t * pxEndPoint );
114 static void prvCreateDHCPv6Socket( NetworkEndPoint_t * pxEndPoint );
119 static void prvCloseDHCPv6Socket( NetworkEndPoint_t * pxEndPoint );
125 static BaseType_t xDHCPv6Process_PassReplyToEndPoint( struct xNetworkEndPoint * pxEndPoint );
127 static void vDHCPv6ProcessEndPoint_HandleReply( NetworkEndPoint_t * pxEndPoint,
[all …]
DFreeRTOS_ND.c120 NetworkEndPoint_t * pxEndPoint; in pxFindLocalEndpoint() local
122 for( pxEndPoint = FreeRTOS_FirstEndPoint( NULL ); in pxFindLocalEndpoint()
123 pxEndPoint != NULL; in pxFindLocalEndpoint()
124 pxEndPoint = FreeRTOS_NextEndPoint( NULL, pxEndPoint ) ) in pxFindLocalEndpoint()
126 if( pxEndPoint->bits.bIPv6 == pdTRUE_UNSIGNED ) in pxFindLocalEndpoint()
128 IPv6_Type_t eType = xIPv6_GetIPType( &( pxEndPoint->ipv6_settings.xIPAddress ) ); in pxFindLocalEndpoint()
137 return pxEndPoint; in pxFindLocalEndpoint()
192 NetworkEndPoint_t * pxEndPoint; in eNDGetCacheEntry() local
212 pxEndPoint = FreeRTOS_FindEndPointOnIP_IPv6( pxIPAddress ); in eNDGetCacheEntry()
214 if( pxEndPoint != NULL ) in eNDGetCacheEntry()
[all …]
DFreeRTOS_ARP.c110 struct xNetworkEndPoint * pxEndPoint,
158 NetworkEndPoint_t * pxTargetEndPoint = pxNetworkBuffer->pxEndPoint; in eARPProcessPacket()
533 … const IPV4Parameters_t * pxIPv4Settings = &( pxNetworkBuffer->pxEndPoint->ipv4_settings ); in xCheckRequiresARPResolution()
573 NetworkEndPoint_t * pxEndPoint; in xCheckRequiresARPResolution() local
578 eResult = eNDGetCacheEntry( pxIPAddress, &xMACAddress, &pxEndPoint ); in xCheckRequiresARPResolution()
579 …Miss" : ( eResult == eARPCacheHit ) ? "Hit" : "Error", pcEndpointName( pxEndPoint, pcName, sizeof … in xCheckRequiresARPResolution()
591 pxTempBuffer->pxEndPoint = pxNetworkBuffer->pxEndPoint; in xCheckRequiresARPResolution()
692 struct xNetworkEndPoint * pxEndPoint ) in vARPRefreshCacheEntry() argument
715 xReady = prvFindCacheEntry( pxMACAddress, ulIPAddress, pxEndPoint, &( xLocation ) ); in vARPRefreshCacheEntry()
752 xARPCache[ xLocation.xUseEntry ].pxEndPoint = pxEndPoint; in vARPRefreshCacheEntry()
[all …]
DFreeRTOS_IP.c116 static void prvCallDHCP_RA_Handler( NetworkEndPoint_t * pxEndPoint );
578 static void prvCallDHCP_RA_Handler( NetworkEndPoint_t * pxEndPoint ) in prvCallDHCP_RA_Handler() argument
583 if( pxEndPoint->bits.bIPv6 != pdFALSE_UNSIGNED ) in prvCallDHCP_RA_Handler()
591 if( ( pxEndPoint->bits.bWantDHCP != pdFALSE_UNSIGNED ) && ( xIsIPv6 == pdFALSE ) ) in prvCallDHCP_RA_Handler()
594 vDHCPProcess( pdFALSE, pxEndPoint ); in prvCallDHCP_RA_Handler()
600 if( ( xIsIPv6 == pdTRUE ) && ( pxEndPoint->bits.bWantDHCP != pdFALSE_UNSIGNED ) ) in prvCallDHCP_RA_Handler()
603 vDHCPv6Process( pdFALSE, pxEndPoint ); in prvCallDHCP_RA_Handler()
609 if( ( xIsIPv6 == pdTRUE ) && ( pxEndPoint->bits.bWantRA != pdFALSE_UNSIGNED ) ) in prvCallDHCP_RA_Handler()
612 vRAProcess( pdFALSE, pxEndPoint ); in prvCallDHCP_RA_Handler()
618 ( void ) pxEndPoint; in prvCallDHCP_RA_Handler()
[all …]
DFreeRTOS_IP_Timers.c150 const NetworkEndPoint_t * pxEndPoint = pxNetworkEndPoints; in xCalculateSleepTime() local
152 while( pxEndPoint != NULL ) in xCalculateSleepTime()
154 if( pxEndPoint->xDHCP_RATimer.bActive != pdFALSE_UNSIGNED ) in xCalculateSleepTime()
156 if( pxEndPoint->xDHCP_RATimer.ulRemainingTime < uxMaximumSleepTime ) in xCalculateSleepTime()
158 uxMaximumSleepTime = pxEndPoint->xDHCP_RATimer.ulRemainingTime; in xCalculateSleepTime()
162 pxEndPoint = pxEndPoint->pxNext; in xCalculateSleepTime()
235 NetworkEndPoint_t * pxEndPoint = pxNetworkEndPoints; in vCheckNetworkTimers() local
237 while( pxEndPoint != NULL ) in vCheckNetworkTimers()
239 if( prvIPTimerCheck( &( pxEndPoint->xDHCP_RATimer ) ) != pdFALSE ) in vCheckNetworkTimers()
242 if( END_POINT_USES_DHCP( pxEndPoint ) ) in vCheckNetworkTimers()
[all …]
DFreeRTOS_UDP_IPv6.c95 NetworkEndPoint_t * pxEndPoint; in pxGetEndpoint() local
97 for( pxEndPoint = FreeRTOS_FirstEndPoint( NULL ); in pxGetEndpoint()
98 pxEndPoint != NULL; in pxGetEndpoint()
99 pxEndPoint = FreeRTOS_NextEndPoint( NULL, pxEndPoint ) ) in pxGetEndpoint()
103 if( pxEndPoint->bits.bIPv6 != 0U ) in pxGetEndpoint()
105 … IPv6_Type_t eEndpointType = xIPv6_GetIPType( &( pxEndPoint->ipv6_settings.xIPAddress ) ); in pxGetEndpoint()
116 return pxEndPoint; in pxGetEndpoint()
144 ( pxNetworkBuffer->pxEndPoint != NULL ) ? "" : "out" ) ); in prvStartLookup()
146 if( pxNetworkBuffer->pxEndPoint == NULL ) in prvStartLookup()
150 pxNetworkBuffer->pxEndPoint = pxGetEndpoint( ( BaseType_t ) ipTYPE_IPv6, xIsGlobal ); in prvStartLookup()
[all …]
DFreeRTOS_TCP_Transmission_IPv6.c173 if( pxNetworkBuffer->pxEndPoint == NULL ) in prvTCPReturnPacket_IPV6()
177 if( pxNetworkBuffer->pxEndPoint == NULL ) in prvTCPReturnPacket_IPV6()
195 …( void ) memcpy( pxIPHeader->xSourceAddress.ucBytes, pxNetworkBuffer->pxEndPoint->ipv6_settings.xI… in prvTCPReturnPacket_IPV6()
235 …esult = eNDGetCacheEntry( &xDestinationIPAddress, &xMACAddress, &( pxNetworkBuffer->pxEndPoint ) ); in prvTCPReturnPacket_IPV6()
256 pvCopySource = pxNetworkBuffer->pxEndPoint->xMACAddress.ucBytes; in prvTCPReturnPacket_IPV6()
279 configASSERT( pxNetworkBuffer->pxEndPoint->pxNetworkInterface != NULL ); in prvTCPReturnPacket_IPV6()
280 configASSERT( pxNetworkBuffer->pxEndPoint->pxNetworkInterface->pfOutput != NULL ); in prvTCPReturnPacket_IPV6()
282 NetworkInterface_t * pxInterface = pxNetworkBuffer->pxEndPoint->pxNetworkInterface; in prvTCPReturnPacket_IPV6()
327 NetworkEndPoint_t * pxEndPoint = NULL; in prvTCPPrepareConnect_IPV6() local
338 eReturned = eNDGetCacheEntry( &( xRemoteIP.xIP_IPv6 ), &( xEthAddress ), &( pxEndPoint ) ); in prvTCPPrepareConnect_IPV6()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Routing_ConfigCompatibleWithSingle/
DFreeRTOS_Routing_ConfigCompatibleWithSingle_utest.c108 TEST_ASSERT_EQUAL( &xEndPoint, xInterfaces.pxEndPoint ); in test_FreeRTOS_FillEndPoint_HappyPath()
202 TEST_ASSERT_EQUAL( &xEndPoint[ 0 ], xInterfaces.pxEndPoint ); in test_FreeRTOS_FillEndPoint_MultipleEndpoints()
252 TEST_ASSERT_EQUAL( &xEndPoint, xInterfaces.pxEndPoint ); in test_FreeRTOS_FillEndPoint_SameEndpoint()
417 NetworkEndPoint_t * pxEndPoint = NULL; in test_FreeRTOS_FirstEndPoint_HappyPath() local
426 pxEndPoint = FreeRTOS_FirstEndPoint( pxNetworkInterfaces ); in test_FreeRTOS_FirstEndPoint_HappyPath()
428 TEST_ASSERT_EQUAL( &xEndPoint, pxEndPoint ); in test_FreeRTOS_FirstEndPoint_HappyPath()
448 NetworkEndPoint_t * pxEndPoint = NULL; in test_FreeRTOS_FirstEndPoint_Null() local
457 pxEndPoint = FreeRTOS_FirstEndPoint( NULL ); in test_FreeRTOS_FirstEndPoint_Null()
459 TEST_ASSERT_EQUAL( &xEndPoint, pxEndPoint ); in test_FreeRTOS_FirstEndPoint_Null()
479 NetworkEndPoint_t * pxEndPoint = NULL; in test_FreeRTOS_FirstEndPoint_NoEndpoints() local
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvTCPReturnPacket/
DTCPReturnPacket_harness.c72 …NetworkEndPoint_t * pxEndPoint = ( NetworkEndPoint_t * ) safeMalloc( sizeof( NetworkEndPoint_t ) ); in prvTCPReturn_SetEndPoint() local
76 __CPROVER_assume( pxEndPoint != NULL ); in prvTCPReturn_SetEndPoint()
79 …pxEndPoint->pxNetworkInterface = ( NetworkInterface_t * ) safeMalloc( sizeof( NetworkInterface_t )… in prvTCPReturn_SetEndPoint()
80 __CPROVER_assume( pxEndPoint->pxNetworkInterface != NULL ); in prvTCPReturn_SetEndPoint()
82 pxEndPoint->pxNetworkInterface->pfOutput = NetworkInterfaceOutputFunction_Stub; in prvTCPReturn_SetEndPoint()
84 pxNetworkBuffer->pxEndPoint = pxEndPoint; in prvTCPReturn_SetEndPoint()
100 … pxNetworkBuffer->pxEndPoint = ( NetworkEndPoint_t * ) safeMalloc( sizeof( NetworkEndPoint_t ) ); in pxDuplicateNetworkBufferWithDescriptor()
101 __CPROVER_assume( pxNetworkBuffer->pxEndPoint != NULL ); in pxDuplicateNetworkBufferWithDescriptor()
102 pxNetworkBuffer->pxEndPoint->pxNext = NULL; in pxDuplicateNetworkBufferWithDescriptor()
105 …pxNetworkBuffer->pxEndPoint->pxNetworkInterface = ( NetworkInterface_t * ) safeMalloc( sizeof( Net… in pxDuplicateNetworkBufferWithDescriptor()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvTCPReturnPacket_IPv6/
DTCPReturnPacket_IPv6_harness.c73 …NetworkEndPoint_t * pxEndPoint = ( NetworkEndPoint_t * ) safeMalloc( sizeof( NetworkEndPoint_t ) ); in prvTCPReturn_SetEndPoint() local
75 __CPROVER_assume( pxEndPoint != NULL ); in prvTCPReturn_SetEndPoint()
78 …pxEndPoint->pxNetworkInterface = ( NetworkInterface_t * ) safeMalloc( sizeof( NetworkInterface_t )… in prvTCPReturn_SetEndPoint()
79 __CPROVER_assume( pxEndPoint->pxNetworkInterface != NULL ); in prvTCPReturn_SetEndPoint()
81 pxEndPoint->pxNetworkInterface->pfOutput = NetworkInterfaceOutputFunction_Stub; in prvTCPReturn_SetEndPoint()
83 pxNetworkBuffer->pxEndPoint = pxEndPoint; in prvTCPReturn_SetEndPoint()
99 … pxNetworkBuffer->pxEndPoint = ( NetworkEndPoint_t * ) safeMalloc( sizeof( NetworkEndPoint_t ) ); in pxDuplicateNetworkBufferWithDescriptor()
100 __CPROVER_assume( pxNetworkBuffer->pxEndPoint != NULL ); in pxDuplicateNetworkBufferWithDescriptor()
101 pxNetworkBuffer->pxEndPoint->pxNext = NULL; in pxDuplicateNetworkBufferWithDescriptor()
104 …pxNetworkBuffer->pxEndPoint->pxNetworkInterface = ( NetworkInterface_t * ) safeMalloc( sizeof( Net… in pxDuplicateNetworkBufferWithDescriptor()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Routing/
DFreeRTOS_Routing_utest.c132 TEST_ASSERT_EQUAL( &xEndPoint, xInterfaces.pxEndPoint ); in test_FreeRTOS_FillEndPoint_HappyPath()
227 TEST_ASSERT_EQUAL( &xEndPoint[ 0 ], xInterfaces.pxEndPoint ); in test_FreeRTOS_FillEndPoint_MultipleEndpoints()
245 TEST_ASSERT_EQUAL( &xEndPoint[ 1 ], xInterfaces.pxEndPoint->pxNext ); in test_FreeRTOS_FillEndPoint_MultipleEndpoints()
262 TEST_ASSERT_EQUAL( &xEndPoint[ 2 ], xInterfaces.pxEndPoint->pxNext->pxNext ); in test_FreeRTOS_FillEndPoint_MultipleEndpoints()
302 TEST_ASSERT_EQUAL( &xEndPoint, xInterfaces.pxEndPoint ); in test_FreeRTOS_FillEndPoint_SameEndpoint()
351 TEST_ASSERT_EQUAL( &xEndPoint, xInterfaces.pxEndPoint ); in test_FreeRTOS_FillEndPoint_IPv6_HappyPath()
499 TEST_ASSERT_EQUAL( &xEndPoint, xInterfaces.pxEndPoint ); in test_FreeRTOS_FillEndPoint_IPv6_NullGatewayDNSPrefix()
539 TEST_ASSERT_EQUAL( &xEndPoint[ 0 ], xInterfaces.pxEndPoint ); in test_FreeRTOS_FillEndPoint_IPv6_MultipleEndpoints()
558 TEST_ASSERT_EQUAL( &xEndPoint[ 1 ], xInterfaces.pxEndPoint->pxNext ); in test_FreeRTOS_FillEndPoint_IPv6_MultipleEndpoints()
577 TEST_ASSERT_EQUAL( &xEndPoint[ 2 ], xInterfaces.pxEndPoint->pxNext->pxNext ); in test_FreeRTOS_FillEndPoint_IPv6_MultipleEndpoints()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_State_Handling_IPv6/
DFreeRTOS_TCP_State_Handling_IPv6_utest.c56 NetworkEndPoint_t xEndPoint, * pxEndPoint; variable
74 pxEndPoint = NULL; in setUp()
117 pxNetworkBuffer->pxEndPoint = NULL; in test_prvHandleListen_IPV6_NullEndpoint()
134 pxEndPoint = &xEndPoint; in test_prvHandleListen_IPV6_DifferentIP()
137 pxNetworkBuffer->pxEndPoint = pxEndPoint; in test_prvHandleListen_IPV6_DifferentIP()
142 …memcpy( pxEndPoint->ipv6_settings.xIPAddress.ucBytes, xDifferentIPv6Address.ucBytes, ipSIZE_OF_IPv… in test_prvHandleListen_IPV6_DifferentIP()
159 pxEndPoint = &xEndPoint; in test_prvHandleListen_IPV6_GetRandomFail()
162 pxNetworkBuffer->pxEndPoint = pxEndPoint; in test_prvHandleListen_IPV6_GetRandomFail()
167 …memcpy( pxEndPoint->ipv6_settings.xIPAddress.ucBytes, xIPv6Address.ucBytes, ipSIZE_OF_IPv6_ADDRESS… in test_prvHandleListen_IPV6_GetRandomFail()
187 pxEndPoint = &xEndPoint; in test_prvHandleListen_IPV6_ReuseSocket()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_Transmission_IPv6/
DFreeRTOS_TCP_Transmission_IPv6_utest.c108 xDescriptor.pxEndPoint = &xEndPoint; in test_prvTCPReturnPacket_IPV6_pucEthernetBuffer_Assert()
129 xDescriptor.pxEndPoint = &xEndPoint; in test_prvTCPReturnPacket_IPV6_SocketNULL()
131 xDescriptor.pxEndPoint->pxNetworkInterface = &xNetworkInterfaces; in test_prvTCPReturnPacket_IPV6_SocketNULL()
132 xDescriptor.pxEndPoint->pxNetworkInterface->pfOutput = &NetworkInterfaceOutputFunction_Stub; in test_prvTCPReturnPacket_IPV6_SocketNULL()
158 xDescriptor.pxEndPoint = NULL; in test_prvTCPReturnPacket_IPV6_NoEP_Found()
159 xSocket.pxEndPoint = NULL; in test_prvTCPReturnPacket_IPV6_NoEP_Found()
182 xDescriptor.pxEndPoint = NULL; in test_prvTCPReturnPacket_IPV6_NoEP_ReleaseAfterSend()
211 pxDescriptor->pxEndPoint = NULL; in test_prvTCPReturnPacket_IPV6_Assert1()
213 xSocket.pxEndPoint = &xEndPoint; in test_prvTCPReturnPacket_IPV6_Assert1()
214 xSocket.pxEndPoint->pxNetworkInterface = NULL; in test_prvTCPReturnPacket_IPV6_Assert1()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCPv6/DHCPv6ProcessEndPoint/
DDHCPv6ProcessEndPoint_harness.c50 void __CPROVER_file_local_FreeRTOS_DHCPv6_c_prvCreateDHCPv6Socket( NetworkEndPoint_t * pxEndPoint );
52 …ER_file_local_FreeRTOS_DHCPv6_c_xDHCPv6ProcessEndPoint_HandleState( NetworkEndPoint_t * pxEndPoint, in __CPROVER_file_local_FreeRTOS_DHCPv6_c_xDHCPv6ProcessEndPoint_HandleState() argument
55 __CPROVER_assert( pxEndPoint != NULL, "pxEndPoint must not be NULL" ); in __CPROVER_file_local_FreeRTOS_DHCPv6_c_xDHCPv6ProcessEndPoint_HandleState()
58 …if( ( pxEndPoint->xDHCPData.eDHCPState == eLeasedAddress ) || ( pxEndPoint->xDHCPData.eDHCPState =… in __CPROVER_file_local_FreeRTOS_DHCPv6_c_xDHCPv6ProcessEndPoint_HandleState()
60 __CPROVER_file_local_FreeRTOS_DHCPv6_c_prvCreateDHCPv6Socket( pxEndPoint ); in __CPROVER_file_local_FreeRTOS_DHCPv6_c_xDHCPv6ProcessEndPoint_HandleState()
114 …ile_local_FreeRTOS_DHCPv6_c_xDHCPv6ProcessEndPoint_HandleAdvertise( NetworkEndPoint_t * pxEndPoint, in __CPROVER_file_local_FreeRTOS_DHCPv6_c_xDHCPv6ProcessEndPoint_HandleAdvertise() argument
117 __CPROVER_assert( pxEndPoint != NULL, "pxEndPoint must not be NULL" ); in __CPROVER_file_local_FreeRTOS_DHCPv6_c_xDHCPv6ProcessEndPoint_HandleAdvertise()
123 …ER_file_local_FreeRTOS_DHCPv6_c_vDHCPv6ProcessEndPoint_HandleReply( NetworkEndPoint_t * pxEndPoint, in __CPROVER_file_local_FreeRTOS_DHCPv6_c_vDHCPv6ProcessEndPoint_HandleReply() argument
126 __CPROVER_assert( pxEndPoint != NULL, "pxEndPoint must not be NULL" ); in __CPROVER_file_local_FreeRTOS_DHCPv6_c_vDHCPv6ProcessEndPoint_HandleReply()
131 NetworkEndPoint_t * pxEndPoint,
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_Utils_IPv6/
DFreeRTOS_TCP_Utils_IPv6_utest.c50 NetworkEndPoint_t xEndPoint, * pxEndPoint; variable
61 pxEndPoint = NULL; in setUp()
80 pxSocket->pxEndPoint = NULL; in test_prvSocketSetMSS_IPV6_NullEndPoint()
95 pxEndPoint = &xEndPoint; in test_prvSocketSetMSS_IPV6_GlobalAddress()
96 pxSocket->pxEndPoint = pxEndPoint; in test_prvSocketSetMSS_IPV6_GlobalAddress()
116 pxEndPoint = &xEndPoint; in test_prvSocketSetMSS_IPV6_NonGlobalAddress()
117 pxSocket->pxEndPoint = pxEndPoint; in test_prvSocketSetMSS_IPV6_NonGlobalAddress()
/FreeRTOS-Plus-TCP-v4.0.0/tools/tcp_utilities/
Dplus_tcp_demo_cli.c267 NetworkEndPoint_t * pxEndPoint; in handle_ifconfig() local
277 for( pxEndPoint = FreeRTOS_FirstEndPoint( pxInterface ); in handle_ifconfig()
278 pxEndPoint != NULL; in handle_ifconfig()
279 pxEndPoint = FreeRTOS_NextEndPoint( pxInterface, pxEndPoint ) ) in handle_ifconfig()
281 showEndPoint( pxEndPoint ); in handle_ifconfig()
475 NetworkEndPoint_t * pxEndPoint = NULL; in handle_arpq() local
535 eResult = eARPGetCacheEntry( &ulLookUpIP, &xMACAddress, &pxEndPoint ); in handle_arpq()
537 …ARPReturnType( eResult ), ( unsigned ) FreeRTOS_htonl( ulLookUpIP ), ( pxEndPoint != NULL ) ? "yes… in handle_arpq()
543 … eResult = eNDGetCacheEntry( &( xLookupAddress.xIP_IPv6 ), &xMACAddress, &pxEndPoint ); in handle_arpq()
545 … pcARPReturnType( eResult ), xAddress.xIP_IPv6.ucBytes, ( pxEndPoint != NULL ) ? "yes" : "no" ) ); in handle_arpq()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/source/include/
DFreeRTOS_Routing.h72 struct xNetworkEndPoint * pxEndPoint; /**< A list of end-points bound to this interface. */ member
194 …#define END_POINT_USES_DHCP( pxEndPoint ) ( ( pxEndPoint )->bits.bWantDHCP != pdFALSE_UNSIGNED ) argument
195 …#define END_POINT_USES_RA( pxEndPoint ) ( ( ( pxEndPoint )->bits.bIPv6 != pdFALSE_UNSIGNED ) … argument
197 …#define ENDPOINT_IS_IPv4( pxEndPoint ) ( ( ( pxEndPoint ) != NULL ) && ( ( pxEndPoint )->bit… argument
198 …#define ENDPOINT_IS_IPv6( pxEndPoint ) ( ( ( pxEndPoint ) != NULL ) && ( ( pxEndPoint )->bit… argument
229 NetworkEndPoint_t * pxEndPoint );
287 NetworkEndPoint_t * pxEndPoint,
297 NetworkEndPoint_t * pxEndPoint,
323 NetworkEndPoint_t * pxEndPoint );
325 const char * pcEndpointName( const NetworkEndPoint_t * pxEndPoint,
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_RA/
DFreeRTOS_RA_utest.c96 pxNetworkBuffer->pxEndPoint = NULL; in test_vNDSendRouterSolicitation_NullEndpoint()
112 pxNetworkBuffer->pxEndPoint = &xEndPoint; in test_vNDSendRouterSolicitation_FalsebIPv6()
136 pxNetworkBuffer->pxEndPoint = &xEndPoint; in test_vNDSendRouterSolicitation_xHasLocal0()
176 pxNetworkBuffer->pxEndPoint = &xEndPoint; in test_vNDSendRouterSolicitation_xHasLocal1()
217 pxNetworkBuffer->pxEndPoint = &xEndPoint; in test_vNDSendRouterSolicitation_NullDesc()
254 pxNetworkBuffer->pxEndPoint = &xEndPoint; in test_vNDSendRouterSolicitation_HappyPath()
874 NetworkEndPoint_t xEndPoint, * pxEndPoint = &xEndPoint; in test_vReceiveRA_vRAProcesss() local
896 pxEndPoint->bits.bWantRA = pdTRUE_UNSIGNED; in test_vReceiveRA_vRAProcesss()
898 FreeRTOS_FirstEndPoint_ExpectAnyArgsAndReturn( pxEndPoint ); in test_vReceiveRA_vRAProcesss()
914 NetworkEndPoint_t xEndPoint, * pxEndPoint = &xEndPoint; in test_vReceiveRA_vRAProcess() local
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_ND/
DFreeRTOS_ND_utest.c116 NetworkEndPoint_t xEndPoint, * pxEndPoint = &xEndPoint; in test_eNDGetCacheEntry_MulticastEndPoint() local
125 eResult = eNDGetCacheEntry( &xIPAddress, &xMACAddress, &pxEndPoint ); in test_eNDGetCacheEntry_MulticastEndPoint()
136 NetworkEndPoint_t xEndPoint1, xEndPoint2, xEndPoint3, * pxEndPoint = &xEndPoint1; in test_eNDGetCacheEntry_Multicast_ValidEndPoint() local
155 eResult = eNDGetCacheEntry( &xIPAddress, &xMACAddress, &pxEndPoint ); in test_eNDGetCacheEntry_Multicast_ValidEndPoint()
219 NetworkEndPoint_t * pxEndPoint, xEndPoint1, xEndPoint2; in test_eNDGetCacheEntry_NDCacheLookupHit_ValidEndPoint() local
233 xNDCache[ xUseEntry ].pxEndPoint = &xEndPoint2; in test_eNDGetCacheEntry_NDCacheLookupHit_ValidEndPoint()
234 pxEndPoint = &xEndPoint1; in test_eNDGetCacheEntry_NDCacheLookupHit_ValidEndPoint()
236 eResult = eNDGetCacheEntry( &xIPAddress, &xMACAddress, &pxEndPoint ); in test_eNDGetCacheEntry_NDCacheLookupHit_ValidEndPoint()
240 TEST_ASSERT_EQUAL_MEMORY( pxEndPoint, &xEndPoint2, sizeof( NetworkEndPoint_t ) ); in test_eNDGetCacheEntry_NDCacheLookupHit_ValidEndPoint()
249 NetworkEndPoint_t * pxEndPoint, xEndPoint; in test_eNDGetCacheEntry_NDCacheLookupMiss_InvalidEntry() local
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Routing_ConfigV4Only/
DFreeRTOS_Routing_ConfigV4Only_utest.c98 NetworkEndPoint_t * pxEndPoint = NULL; in test_FreeRTOS_MatchingEndpoint_MatchCustomFrameType() local
123 …pxEndPoint = FreeRTOS_MatchingEndpoint( &xNetworkInterface, ( const uint8_t * ) pxProtocolPacket ); in test_FreeRTOS_MatchingEndpoint_MatchCustomFrameType()
124 TEST_ASSERT_EQUAL( &xEndPoint, pxEndPoint ); in test_FreeRTOS_MatchingEndpoint_MatchCustomFrameType()
146 NetworkEndPoint_t * pxEndPoint = NULL; in test_FreeRTOS_MatchingEndpoint_IPv6Disabled() local
171 pxEndPoint = FreeRTOS_MatchingEndpoint( &xNetworkInterface, ( const uint8_t * ) pxTCPPacket ); in test_FreeRTOS_MatchingEndpoint_IPv6Disabled()
172 TEST_ASSERT_EQUAL( NULL, pxEndPoint ); in test_FreeRTOS_MatchingEndpoint_IPv6Disabled()
221 NetworkEndPoint_t * pxEndPoint = NULL; in test_FreeRTOS_FindGateWay_IPv4HappyPath() local
228 pxEndPoint = FreeRTOS_FindGateWay( ipTYPE_IPv4 ); in test_FreeRTOS_FindGateWay_IPv4HappyPath()
229 TEST_ASSERT_EQUAL( &xEndPoint, pxEndPoint ); in test_FreeRTOS_FindGateWay_IPv4HappyPath()
247 NetworkEndPoint_t * pxEndPoint = NULL; in test_FreeRTOS_FindGateWay_IPv4NotFound() local
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCPv6/DHCPv6Process/
DDHCPv6Process_harness.c50 void __CPROVER_file_local_FreeRTOS_DHCPv6_c_prvCreateDHCPv6Socket( NetworkEndPoint_t * pxEndPoint );
54 NetworkEndPoint_t * pxEndPoint, in __CPROVER_file_local_FreeRTOS_DHCPv6_c_vDHCPv6ProcessEndPoint() argument
57 __CPROVER_assert( pxEndPoint != NULL, "FreeRTOS precondition: pxEndPoint != NULL" ); in __CPROVER_file_local_FreeRTOS_DHCPv6_c_vDHCPv6ProcessEndPoint()
62 …pe_t __CPROVER_file_local_FreeRTOS_DHCPv6_c_prvDHCPv6Analyse( struct xNetworkEndPoint * pxEndPoint, in __CPROVER_file_local_FreeRTOS_DHCPv6_c_prvDHCPv6Analyse() argument
69 __CPROVER_assert( pxEndPoint != NULL, "FreeRTOS precondition: pxEndPoint != NULL" ); in __CPROVER_file_local_FreeRTOS_DHCPv6_c_prvDHCPv6Analyse()
77 …_local_FreeRTOS_DHCPv6_c_xDHCPv6Process_PassReplyToEndPoint( struct xNetworkEndPoint * pxEndPoint ) in __CPROVER_file_local_FreeRTOS_DHCPv6_c_xDHCPv6Process_PassReplyToEndPoint() argument
81 __CPROVER_assert( pxEndPoint != NULL, "FreeRTOS precondition: pxEndPoint != NULL" ); in __CPROVER_file_local_FreeRTOS_DHCPv6_c_xDHCPv6Process_PassReplyToEndPoint()
88 …ER_file_local_FreeRTOS_DHCPv6_c_xDHCPv6ProcessEndPoint_HandleState( NetworkEndPoint_t * pxEndPoint, in __CPROVER_file_local_FreeRTOS_DHCPv6_c_xDHCPv6ProcessEndPoint_HandleState() argument
91 __CPROVER_assert( pxEndPoint != NULL, "FreeRTOS precondition: pxEndPoint != NULL" ); in __CPROVER_file_local_FreeRTOS_DHCPv6_c_xDHCPv6ProcessEndPoint_HandleState()

123456