Home
last modified time | relevance | path

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

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/ARPProcessPacket/
DARPProcessPacket_harness.c13 extern NetworkBufferDescriptor_t * pxARPWaitingNetworkBuffer;
59 pxARPWaitingNetworkBuffer = &xLocalBuffer; in harness()
63 pxARPWaitingNetworkBuffer = NULL; in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ND/prvProcessICMPMessage_IPv6/
DProcessICMPMessage_IPv6_harness.c161 pxARPWaitingNetworkBuffer = &xLocalBuffer; in harness()
165 pxARPWaitingNetworkBuffer = NULL; in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_ND/
DFreeRTOS_ND_stubs.c20 NetworkBufferDescriptor_t * pxARPWaitingNetworkBuffer; variable
DFreeRTOS_ND_utest.c1594 pxARPWaitingNetworkBuffer = NULL; in test_prvProcessICMPMessage_IPv6_NeighborAdvertisement1()
1621 pxARPWaitingNetworkBuffer = &xARPWaitingNetworkBuffer; in test_prvProcessICMPMessage_IPv6_NeighborAdvertisement2()
1646 pxARPWaitingNetworkBuffer = &xARPWaitingNetworkBuffer; in test_prvProcessICMPMessage_IPv6_NeighborAdvertisement3()
1647 pxARPWaitingNetworkBuffer->pucEthernetBuffer = ( uint8_t * ) &xIPPacket; in test_prvProcessICMPMessage_IPv6_NeighborAdvertisement3()
1679 pxARPWaitingNetworkBuffer = &xARPWaitingNetworkBuffer; in test_prvProcessICMPMessage_IPv6_NeighborAdvertisement4()
1680 pxARPWaitingNetworkBuffer->pucEthernetBuffer = ( uint8_t * ) &xIPPacket; in test_prvProcessICMPMessage_IPv6_NeighborAdvertisement4()
1698 TEST_ASSERT_EQUAL( pxARPWaitingNetworkBuffer, NULL ); in test_prvProcessICMPMessage_IPv6_NeighborAdvertisement4()
1719 pxARPWaitingNetworkBuffer = &xARPWaitingNetworkBuffer; in test_prvProcessICMPMessage_IPv6_NeighborAdvertisement5()
1720 pxARPWaitingNetworkBuffer->pucEthernetBuffer = ( uint8_t * ) &xIPPacket; in test_prvProcessICMPMessage_IPv6_NeighborAdvertisement5()
1737 TEST_ASSERT_EQUAL( pxARPWaitingNetworkBuffer, NULL ); in test_prvProcessICMPMessage_IPv6_NeighborAdvertisement5()
/FreeRTOS-Plus-TCP-v4.0.0/source/
DFreeRTOS_IP_Timers.c216 if( pxARPWaitingNetworkBuffer != NULL ) in vCheckNetworkTimers()
223 vReleaseNetworkBufferAndDescriptor( pxARPWaitingNetworkBuffer ); in vCheckNetworkTimers()
226 pxARPWaitingNetworkBuffer = NULL; in vCheckNetworkTimers()
DFreeRTOS_ND.c897 …const IPPacket_IPv6_t * pxIPPacket = ( ( IPPacket_IPv6_t * ) pxARPWaitingNetworkBuffer->pucEtherne… in prvCheckWaitingBuffer()
907 xEventMessage.pvData = ( void * ) pxARPWaitingNetworkBuffer; in prvCheckWaitingBuffer()
912 … vReleaseNetworkBufferAndDescriptor( BUFFER_FROM_WHERE_CALL( 140 ) pxARPWaitingNetworkBuffer ); in prvCheckWaitingBuffer()
916 pxARPWaitingNetworkBuffer = NULL; in prvCheckWaitingBuffer()
1098 if( ( pxARPWaitingNetworkBuffer != NULL ) && in prvProcessICMPMessage_IPv6()
1099 … ( uxIPHeaderSizePacket( pxARPWaitingNetworkBuffer ) == ipSIZE_OF_IPv6_HEADER ) ) in prvProcessICMPMessage_IPv6()
DFreeRTOS_ARP.c440 if( ( pxARPWaitingNetworkBuffer != NULL ) && in vARPProcessPacketReply()
441 ( uxIPHeaderSizePacket( pxARPWaitingNetworkBuffer ) == ipSIZE_OF_IPv4_HEADER ) ) in vARPProcessPacketReply()
446 …const IPPacket_t * pxARPWaitingIPPacket = ( ( IPPacket_t * ) pxARPWaitingNetworkBuffer->pucEtherne… in vARPProcessPacketReply()
455 xEventMessage.pvData = ( void * ) pxARPWaitingNetworkBuffer; in vARPProcessPacketReply()
460 vReleaseNetworkBufferAndDescriptor( pxARPWaitingNetworkBuffer ); in vARPProcessPacketReply()
464 pxARPWaitingNetworkBuffer = NULL; in vARPProcessPacketReply()
DFreeRTOS_IP.c125 NetworkBufferDescriptor_t * pxARPWaitingNetworkBuffer = NULL; variable
1641 if( pxARPWaitingNetworkBuffer == NULL ) in prvProcessEthernetPacket()
1643 pxARPWaitingNetworkBuffer = pxNetworkBuffer; in prvProcessEthernetPacket()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP_Timers/
DFreeRTOS_IP_Timers_stubs.c45 NetworkBufferDescriptor_t * pxARPWaitingNetworkBuffer; variable
DFreeRTOS_IP_Timers_utest.c355 pxARPWaitingNetworkBuffer = NULL; in test_vCheckNetworkTimers_ARPResolutionTimerActiveAndExpiredNullBuffer()
385 pxARPWaitingNetworkBuffer = ( NetworkBufferDescriptor_t * ) 0x1234ABCD; in test_vCheckNetworkTimers_ARPResolutionTimerActiveAndExpired()
389 vReleaseNetworkBufferAndDescriptor_Expect( pxARPWaitingNetworkBuffer ); in test_vCheckNetworkTimers_ARPResolutionTimerActiveAndExpired()
400 TEST_ASSERT_EQUAL_PTR( NULL, pxARPWaitingNetworkBuffer ); in test_vCheckNetworkTimers_ARPResolutionTimerActiveAndExpired()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_ARP_DataLenLessThanMinPacket/
DFreeRTOS_ARP_DataLenLessThanMinPacket_stubs.c17 NetworkBufferDescriptor_t * pxARPWaitingNetworkBuffer = NULL; variable
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_ARP/
DFreeRTOS_ARP_stubs.c18 NetworkBufferDescriptor_t * pxARPWaitingNetworkBuffer = NULL; variable
DFreeRTOS_ARP_utest.c31 extern NetworkBufferDescriptor_t * pxARPWaitingNetworkBuffer;
1366 pxARPWaitingNetworkBuffer = &xLocalBuffer; in test_eARPProcessPacket_Reply_DifferentIP_WaitingBufferNonNull()
1413 pxARPWaitingNetworkBuffer = &xLocalBuffer; in test_eARPProcessPacket_Reply_WaitingBufferIncorrectHeaderSize()
1463 pxARPWaitingNetworkBuffer = &xLocalBuffer; in test_eARPProcessPacket_Reply_WaitingBufferNonNull_MatchingAddress1()
1497 TEST_ASSERT_EQUAL( NULL, pxARPWaitingNetworkBuffer ); in test_eARPProcessPacket_Reply_WaitingBufferNonNull_MatchingAddress1()
1520 pxARPWaitingNetworkBuffer = &xLocalBuffer; in test_eARPProcessPacket_Reply_WaitingBufferNonNull_MatchingAddress2()
1553 TEST_ASSERT_EQUAL( NULL, pxARPWaitingNetworkBuffer ); in test_eARPProcessPacket_Reply_WaitingBufferNonNull_MatchingAddress2()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ND/prvReturnICMP_IPv6/
DReturnICMP_IPv6_harness.c163 pxARPWaitingNetworkBuffer = &xLocalBuffer; in harness()
/FreeRTOS-Plus-TCP-v4.0.0/source/include/
DFreeRTOS_IP.h447 extern NetworkBufferDescriptor_t * pxARPWaitingNetworkBuffer;
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP/
DFreeRTOS_IP_utest.c1835 pxARPWaitingNetworkBuffer = NULL; in test_prvProcessEthernetPacket_ARPFrameType_WaitingARPResolution()
1865 pxARPWaitingNetworkBuffer = ( NetworkBufferDescriptor_t * ) 0x1234ABCD; in test_prvProcessEthernetPacket_ARPFrameType_WaitingARPResolution2()