Searched refs:ppxEndPoint (Results 1 – 9 of 9) sorted by relevance
| /FreeRTOS-Plus-TCP-v4.0.0/source/ |
| D | FreeRTOS_ND.c | 87 NetworkEndPoint_t ** ppxEndPoint );
92 NetworkEndPoint_t ** ppxEndPoint );
151 NetworkEndPoint_t ** ppxEndPoint ) in prvMACResolve() argument
160 if( ppxEndPoint != NULL ) in prvMACResolve()
162 *ppxEndPoint = pxFindLocalEndpoint(); in prvMACResolve()
189 struct xNetworkEndPoint ** ppxEndPoint ) in eNDGetCacheEntry() argument
195 eReturn = prvMACResolve( pxIPAddress, pxMACAddress, ppxEndPoint ); in eNDGetCacheEntry()
200 eReturn = prvNDCacheLookup( pxIPAddress, pxMACAddress, ppxEndPoint ); in eNDGetCacheEntry()
216 if( ppxEndPoint != NULL ) in eNDGetCacheEntry()
218 *( ppxEndPoint ) = pxEndPoint; in eNDGetCacheEntry()
[all …]
|
| D | FreeRTOS_ARP.c | 100 NetworkEndPoint_t ** ppxEndPoint );
104 struct xNetworkEndPoint ** ppxEndPoint );
957 struct xNetworkEndPoint ** ppxEndPoint ) in eARPGetCacheEntry() argument
965 configASSERT( ppxEndPoint != NULL ); in eARPGetCacheEntry()
967 *( ppxEndPoint ) = NULL; in eARPGetCacheEntry()
986 *( ppxEndPoint ) = pxEndPoint; in eARPGetCacheEntry()
1000 *( ppxEndPoint ) = pxEndPoint; in eARPGetCacheEntry()
1007 eReturn = eARPGetCacheEntryGateWay( pulIPAddress, pxMACAddress, ppxEndPoint ); in eARPGetCacheEntry()
1024 struct xNetworkEndPoint ** ppxEndPoint ) in eARPGetCacheEntryGateWay() argument
1039 eReturn = prvCacheLookup( ulAddressToLookup, pxMACAddress, ppxEndPoint ); in eARPGetCacheEntryGateWay()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/ARPProcessPacket/ |
| D | ARPProcessPacket_harness.c | 23 struct xNetworkEndPoint ** ppxEndPoint ) in eARPGetCacheEntry() argument
29 __CPROVER_assert( ppxEndPoint != NULL, "ppxEndPoint cannot be NULL." ); in eARPGetCacheEntry()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_RA/ |
| D | FreeRTOS_RA_stubs.c | 34 struct xNetworkEndPoint ** ppxEndPoint ) in eNDGetCacheEntry() argument
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/include/ |
| D | FreeRTOS_ARP.h | 134 struct xNetworkEndPoint ** ppxEndPoint );
|
| D | FreeRTOS_ND.h | 99 struct xNetworkEndPoint ** ppxEndPoint );
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/xCheckRequiresARPResolution/ |
| D | xCheckRequiresARPResolution_harness.c | 59 struct xNetworkEndPoint ** ppxEndPoint ) in eNDGetCacheEntry() argument
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/UDP/vProcessGeneratedUDPPacket_IPv6/ |
| D | vProcessGeneratedUDPPacket_IPv6_harness.c | 53 struct xNetworkEndPoint ** ppxEndPoint ) in eNDGetCacheEntry() argument
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_ND/ |
| D | FreeRTOS_ND_utest.c | 166 NetworkEndPoint_t ** ppxEndPoint = NULL; in test_eNDGetCacheEntry_Multicast_InvalidEndPoint() local
176 eResult = eNDGetCacheEntry( &xIPAddress, &xMACAddress, ppxEndPoint ); in test_eNDGetCacheEntry_Multicast_InvalidEndPoint()
190 NetworkEndPoint_t ** ppxEndPoint = NULL; in test_eNDGetCacheEntry_NDCacheLookupHit_InvalidEndPoint() local
203 eResult = eNDGetCacheEntry( &xIPAddress, &xMACAddress, ppxEndPoint ); in test_eNDGetCacheEntry_NDCacheLookupHit_InvalidEndPoint()
276 NetworkEndPoint_t ** ppxEndPoint = NULL, xEndPoint; in test_eNDGetCacheEntry_NDCacheLookupMiss_InvalidEntry2() local
291 eResult = eNDGetCacheEntry( &xIPAddress, &xMACAddress, ppxEndPoint ); in test_eNDGetCacheEntry_NDCacheLookupMiss_InvalidEntry2()
|
