Home
last modified time | relevance | path

Searched defs:pxNetworkBuffer (Results 1 – 25 of 66) sorted by relevance

123

/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_ICMP/
DFreeRTOS_ICMP_utest.c71 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_ProcessICMPPacket_CatchAssert() local
82 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_ProcessICMPPacket_AllZeroData() local
101 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_ProcessICMPPacket_EchoRequest() local
137 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_ProcessICMPPacket_UnknownICMPPacket() local
160 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_ProcessICMPPacket_ICMPEchoReply_NULLData() local
187 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_ProcessICMPPacket_ICMPEchoReply_ProperData() local
219 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_ProcessICMPPacket_ICMPEchoReply_ImproperData() local
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/parsing/ProcessIPPacket/
DProcessIPPacket_harness.c10 BaseType_t xProcessReceivedTCPPacket( NetworkBufferDescriptor_t * pxNetworkBuffer ) in xProcessReceivedTCPPacket()
15 BaseType_t xProcessReceivedUDPPacket( NetworkBufferDescriptor_t * pxNetworkBuffer, in xProcessReceivedUDPPacket()
62 … NetworkBufferDescriptor_t * const pxNetworkBuffer = malloc( sizeof( NetworkBufferDescriptor_t ) ); in harness() local
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP/
DFreeRTOS_IP_utest.c223 NetworkBufferDescriptor_t xNetworkBuffer, * pxNetworkBuffer = &xNetworkBuffer; in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeEqualToConfig() local
243 NetworkBufferDescriptor_t xNetworkBuffer, * pxNetworkBuffer = &xNetworkBuffer; in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeLessThanConfig() local
263 NetworkBufferDescriptor_t xNetworkBuffer, * pxNetworkBuffer = &xNetworkBuffer; in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeMoreThanConfig() local
737 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_prvProcessIPEventsAndTimers_eNetworkRxEvent() local
762 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_prvProcessIPEventsAndTimers_eNetworkTxEvent() local
1097 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_FreeRTOS_SendPingRequest_HappyPath() local
1141 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_FreeRTOS_SendPingRequest_SendingToIPTaskFails() local
1543 NetworkBufferDescriptor_t * pxNetworkBuffer = &xNetworkBuffer; in test_prvProcessEthernetPacket_NoData() local
1561 NetworkBufferDescriptor_t * pxNetworkBuffer = &xNetworkBuffer; in test_prvProcessEthernetPacket_UnknownFrameType() local
1577 NetworkBufferDescriptor_t * pxNetworkBuffer = &xNetworkBuffer; in test_prvProcessEthernetPacket_ARPFrameType1() local
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/TCP/prvTCPReturnPacket/
DTCPReturnPacket_harness.c49 …ptor_t * pxDuplicateNetworkBufferWithDescriptor( const NetworkBufferDescriptor_t * const pxNetwork… in pxDuplicateNetworkBufferWithDescriptor()
52 NetworkBufferDescriptor_t * pxNetworkBuffer = ensure_FreeRTOS_NetworkBuffer_is_allocated(); in pxDuplicateNetworkBufferWithDescriptor() local
99 NetworkBufferDescriptor_t * pxNetworkBuffer = ensure_FreeRTOS_NetworkBuffer_is_allocated(); in harness() local
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/prvProcessEthernetPacket/
DprvProcessEthernetPacket_harness.c49 … NetworkBufferDescriptor_t * const pxNetworkBuffer ) in __CPROVER_file_local_FreeRTOS_IP_c_prvProcessIPPacket()
61 …NetworkBufferDescriptor_t * const pxNetworkBuffer = pxGetNetworkBufferWithDescriptor( ipTOTAL_ETHE… in harness() local
/FreeRTOS-Plus-TCP-v3.1.0/source/
DFreeRTOS_ICMP.c82 …eFrameProcessingResult_t ProcessICMPPacket( const NetworkBufferDescriptor_t * const pxNetworkBuffe… in ProcessICMPPacket()
138 … const NetworkBufferDescriptor_t * const pxNetworkBuffer ) in prvProcessICMPEchoRequest()
DFreeRTOS_TCP_Transmission.c118 NetworkBufferDescriptor_t * pxNetworkBuffer; in prvTCPSendPacket() local
265 NetworkBufferDescriptor_t * pxNetworkBuffer = pxDescriptor; in prvTCPReturnPacket() local
849 NetworkBufferDescriptor_t * pxNetworkBuffer, in prvTCPBufferResize()
1210 const NetworkBufferDescriptor_t * pxNetworkBuffer ) in prvSetOptions()
1449 static BaseType_t prvTCPSendSpecialPacketHelper( NetworkBufferDescriptor_t * pxNetworkBuffer, in prvTCPSendSpecialPacketHelper()
1488 BaseType_t prvTCPSendChallengeAck( NetworkBufferDescriptor_t * pxNetworkBuffer ) in prvTCPSendChallengeAck()
1501 BaseType_t prvTCPSendReset( NetworkBufferDescriptor_t * pxNetworkBuffer ) in prvTCPSendReset()
DFreeRTOS_UDP_IP.c94 void vProcessGeneratedUDPPacket( NetworkBufferDescriptor_t * const pxNetworkBuffer ) in vProcessGeneratedUDPPacket()
307 BaseType_t xProcessReceivedUDPPacket( NetworkBufferDescriptor_t * pxNetworkBuffer, in xProcessReceivedUDPPacket()
DFreeRTOS_TCP_Reception.c97 const NetworkBufferDescriptor_t * pxNetworkBuffer ) in prvCheckOptions()
427 BaseType_t prvCheckRxData( const NetworkBufferDescriptor_t * pxNetworkBuffer, in prvCheckRxData()
521 NetworkBufferDescriptor_t * pxNetworkBuffer, in prvStoreRxData()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/parsing/ProcessReceivedUDPPacket/
DProcessReceivedUDPPacket_harness.c26 uint32_t ulDNSHandlePacket( NetworkBufferDescriptor_t * pxNetworkBuffer ) in ulDNSHandlePacket()
51 NetworkBufferDescriptor_t * pxNetworkBuffer = safeMalloc( sizeof( NetworkBufferDescriptor_t ) ); in harness() local
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/UDP/vProcessGeneratedUDPPacket/
DvProcessGeneratedUDPPacket_harness.c60 void vARPGenerateRequestPacket( NetworkBufferDescriptor_t * const pxNetworkBuffer ) in vARPGenerateRequestPacket()
88 …NetworkBufferDescriptor_t * const pxNetworkBuffer = pxGetNetworkBufferWithDescriptor( xRequestedSi… in harness() local
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/parsing/ProcessReceivedTCPPacket/
DProcessReceivedTCPPacket_harness.c92 NetworkBufferDescriptor_t * pxNetworkBuffer = safeMalloc( sizeof( NetworkBufferDescriptor_t ) ); in pxGetNetworkBufferWithDescriptor() local
105 NetworkBufferDescriptor_t * pxNetworkBuffer = safeMalloc( sizeof( NetworkBufferDescriptor_t ) ); in harness() local
/FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/esp32/
DNetworkInterface.c68 BaseType_t xNetworkInterfaceOutput( NetworkBufferDescriptor_t * const pxNetworkBuffer, in xNetworkInterfaceOutput()
132 NetworkBufferDescriptor_t * pxNetworkBuffer; in wlanif_input() local
/FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/ksz8851snl/
DNetworkInterface.c387 BaseType_t xNetworkInterfaceOutput( NetworkBufferDescriptor_t * const pxNetworkBuffer, in xNetworkInterfaceOutput()
647 NetworkBufferDescriptor_t * pxNetworkBuffer; in ksz8851snl_rx_populate_queue() local
755 NetworkBufferDescriptor_t * pxNetworkBuffer; in ksz8851snl_update() local
877 NetworkBufferDescriptor_t * pxNetworkBuffer = xMicrelDevice.tx_buffers[ txTail ]; in ksz8851snl_update() local
987 NetworkBufferDescriptor_t * pxNetworkBuffer = xMicrelDevice.tx_buffers[ txTail ]; in ksz8851snl_update() local
1136 NetworkBufferDescriptor_t * pxNetworkBuffer = NULL; in ksz8851snl_low_level_input() local
1165 NetworkBufferDescriptor_t * pxNetworkBuffer; in prvEMACRxPoll() local
/FreeRTOS-Plus-TCP-v3.1.0/source/portable/BufferManagement/
DBufferAllocation_1.c359 BaseType_t vNetworkBufferReleaseFromISR( NetworkBufferDescriptor_t * const pxNetworkBuffer ) in vNetworkBufferReleaseFromISR()
378 void vReleaseNetworkBufferAndDescriptor( NetworkBufferDescriptor_t * const pxNetworkBuffer ) in vReleaseNetworkBufferAndDescriptor()
430 …ferDescriptor_t * pxResizeNetworkBufferWithDescriptor( NetworkBufferDescriptor_t * pxNetworkBuffer, in pxResizeNetworkBufferWithDescriptor()
/FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/LPC17xx/
DNetworkInterface.c128 BaseType_t xNetworkInterfaceOutput( NetworkBufferDescriptor_t * const pxNetworkBuffer ) in xNetworkInterfaceOutput()
210 NetworkBufferDescriptor_t * pxNetworkBuffer; in prvEMACHandlerTask() local
/FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/MPS2_AN385/
DNetworkInterface.c134 NetworkBufferDescriptor_t * pxNetworkBuffer = NULL; in prvRxTask() local
159 static uint32_t prvLowLevelInput( NetworkBufferDescriptor_t ** pxNetworkBuffer ) in prvLowLevelInput()
299 BaseType_t xNetworkInterfaceOutput( NetworkBufferDescriptor_t * const pxNetworkBuffer, in xNetworkInterfaceOutput()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/include/
Daws_freertos_ip_verification_access_ip_define.h2 NetworkBufferDescriptor_t * const pxNetworkBuffer ) in publicProcessIPPacket()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/ARP/ARPAgeCache/
DARPAgeCache_harness.c15 …NetworkBufferDescriptor_t * pxNetworkBuffer = ( NetworkBufferDescriptor_t * ) malloc( sizeof( Netw… in pxGetNetworkBufferWithDescriptor() local
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_ICMP_wo_assert/
DFreeRTOS_ICMP_wo_assert_utest.c64 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_ProcessICMPPacket_PacketSizeSmall() local
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP_DiffConfig/
DFreeRTOS_IP_DiffConfig_utest.c211 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_prvProcessIPEventsAndTimers_eNetworkRxEvent_MoreSpace() local
391 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_prvAllowIPPacket_BroadcastSourceIP() local
422 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_prvAllowIPPacket_IncorrectSizeFields() local
453 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_prvAllowIPPacket_UDPCheckSumZero() local
489 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_prvAllowIPPacket_UDP_HappyPath() local
532 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_prvAllowIPPacket_TCP_HappyPath() local
569 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_prvProcessIPPacket_() local
1028 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_vReturnEthernetFrame_DuplicationSuccess() local
1061 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_vReturnEthernetFrame() local
1090 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_vReturnEthernetFrame_DataLenMoreThanRequired() local
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_DNS_Parser/
DFreeRTOS_DNS_Parser_utest.c437 NetworkBufferDescriptor_t pxNetworkBuffer; in test_prepareReplyDNSMessage_success() local
519 NetworkBufferDescriptor_t pxNetworkBuffer; in test_DNS_TreatNBNS_success_nbns_query_trailing_space() local
544 NetworkBufferDescriptor_t pxNetworkBuffer; in test_DNS_TreatNBNS_success_nbns_query() local
593 NetworkBufferDescriptor_t pxNetworkBuffer; in test_DNS_TreatNBNS_success_nbns_non_fixed_size_buffer() local
629 NetworkBufferDescriptor_t pxNetworkBuffer; in test_DNS_TreatNBNS_success_nbns_non_fixed_size_buffer2() local
665 NetworkBufferDescriptor_t pxNetworkBuffer; in test_DNS_TreatNBNS_success_nbns_non_fixed_size_buffer3() local
985 NetworkBufferDescriptor_t pxNetworkBuffer; in test_DNS_ParseDNSReply_ansswer_lmmnr_reply_xBufferAllocFixesize() local
1054 NetworkBufferDescriptor_t pxNetworkBuffer; in test_DNS_ParseDNSReply_ansswer_lmmnr_reply() local
1132 NetworkBufferDescriptor_t pxNetworkBuffer; in test_DNS_ParseDNSReply_ansswer_lmmnr_reply2() local
1196 NetworkBufferDescriptor_t pxNetworkBuffer; in test_DNS_ParseDNSReply_ansswer_lmmnr_reply3() local
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/TCP/prvTCPHandleState/
DTCPHandleState_harness.c86 NetworkBufferDescriptor_t * pxNetworkBuffer = ensure_FreeRTOS_NetworkBuffer_is_allocated(); in harness() local
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/TCP/prvTCPPrepareSend/
DTCPPrepareSend_harness.c68 NetworkBufferDescriptor_t * pxNetworkBuffer = ensure_FreeRTOS_NetworkBuffer_is_allocated(); in harness() local
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/CheckOptions/
DCheckOptions_harness.c83 NetworkBufferDescriptor_t pxNetworkBuffer; in harness() local

123