Home
last modified time | relevance | path

Searched refs:pxNetworkBuffer (Results 1 – 25 of 79) sorted by relevance

1234

/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_Reception/
DFreeRTOS_TCP_Reception_utest.c60 const NetworkBufferDescriptor_t * pxNetworkBuffer );
61 BaseType_t prvTCPSendReset( NetworkBufferDescriptor_t * pxNetworkBuffer );
64 NetworkBufferDescriptor_t xNetworkBuffer, * pxNetworkBuffer; variable
125 pxNetworkBuffer = &xNetworkBuffer; in test_prvCheckOptions_No_Option()
126 pxNetworkBuffer->pucEthernetBuffer = ucEthernetBuffer; in test_prvCheckOptions_No_Option()
127 size_t uxTCPHeaderOffset = ipSIZE_OF_ETH_HEADER + xIPHeaderSize( pxNetworkBuffer ); in test_prvCheckOptions_No_Option()
130 …&( pxNetworkBuffer->pucEthernetBuffer[ ( size_t ) ipSIZE_OF_ETH_HEADER + xIPHeaderSize( pxNetworkB… in test_prvCheckOptions_No_Option()
135 xReturn = prvCheckOptions( pxSocket, pxNetworkBuffer ); in test_prvCheckOptions_No_Option()
146 pxNetworkBuffer = &xNetworkBuffer; in test_prvCheckOptions_Invalid_Data_Length()
147 pxNetworkBuffer->pucEthernetBuffer = ucEthernetBuffer; in test_prvCheckOptions_Invalid_Data_Length()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_ICMP/
DFreeRTOS_ICMP_utest.c71 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_ProcessICMPPacket_CatchAssert() local
73 pxNetworkBuffer = &xNetworkBuffer; in test_ProcessICMPPacket_CatchAssert()
74 pxNetworkBuffer->xDataLength = sizeof( ICMPPacket_t ) - 1; in test_ProcessICMPPacket_CatchAssert()
76 catch_assert( ProcessICMPPacket( pxNetworkBuffer ) ); in test_ProcessICMPPacket_CatchAssert()
82 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_ProcessICMPPacket_AllZeroData() local
85 pxNetworkBuffer = &xNetworkBuffer; in test_ProcessICMPPacket_AllZeroData()
86 pxNetworkBuffer->pucEthernetBuffer = ucEthBuffer; in test_ProcessICMPPacket_AllZeroData()
87 pxNetworkBuffer->xDataLength = ipconfigTCP_MSS; in test_ProcessICMPPacket_AllZeroData()
93 eResult = ProcessICMPPacket( pxNetworkBuffer ); in test_ProcessICMPPacket_AllZeroData()
101 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_ProcessICMPPacket_EchoRequest() local
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP/
DFreeRTOS_IP_utest.c71 NetworkBufferDescriptor_t * const pxNetworkBuffer );
72 void prvProcessEthernetPacket( NetworkBufferDescriptor_t * const pxNetworkBuffer );
74 const NetworkBufferDescriptor_t * const pxNetworkBuffer,
223 NetworkBufferDescriptor_t xNetworkBuffer, * pxNetworkBuffer = &xNetworkBuffer; in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeEqualToConfig() local
227 pxNetworkBuffer->pucEthernetBuffer = pucEthernetBuffer; in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeEqualToConfig()
228 pxNetworkBuffer->xDataLength = 0; in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeEqualToConfig()
230 …ExpectAndReturn( sizeof( UDPPacket_t ) + uxRequestedSizeBytes, uxBlockTimeTicks, pxNetworkBuffer ); in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeEqualToConfig()
234 TEST_ASSERT_EQUAL( sizeof( UDPPacket_t ) + uxRequestedSizeBytes, pxNetworkBuffer->xDataLength ); in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeEqualToConfig()
235 …TEST_ASSERT_EQUAL_PTR( &( pxNetworkBuffer->pucEthernetBuffer[ sizeof( UDPPacket_t ) ] ), pvReturn … in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeEqualToConfig()
243 NetworkBufferDescriptor_t xNetworkBuffer, * pxNetworkBuffer = &xNetworkBuffer; in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeLessThanConfig() local
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/source/
DFreeRTOS_UDP_IP.c94 void vProcessGeneratedUDPPacket( NetworkBufferDescriptor_t * const pxNetworkBuffer ) in vProcessGeneratedUDPPacket() argument
99 uint32_t ulIPAddress = pxNetworkBuffer->ulIPAddress; in vProcessGeneratedUDPPacket()
110 pxUDPPacket = ( ( UDPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer ); in vProcessGeneratedUDPPacket()
113 if( pxNetworkBuffer->usPort == ( uint16_t ) ipPACKET_CONTAINS_ICMP_DATA ) in vProcessGeneratedUDPPacket()
115 uxPayloadSize = pxNetworkBuffer->xDataLength - sizeof( ICMPPacket_t ); in vProcessGeneratedUDPPacket()
120 uxPayloadSize = pxNetworkBuffer->xDataLength - sizeof( UDPPacket_t ); in vProcessGeneratedUDPPacket()
133 iptraceSENDING_UDP_PACKET( pxNetworkBuffer->ulIPAddress ); in vProcessGeneratedUDPPacket()
142 if( pxNetworkBuffer->usPort != ( uint16_t ) ipPACKET_CONTAINS_ICMP_DATA ) in vProcessGeneratedUDPPacket()
149 pxUDPHeader->usDestinationPort = pxNetworkBuffer->usPort; in vProcessGeneratedUDPPacket()
150 pxUDPHeader->usSourcePort = pxNetworkBuffer->usBoundPort; in vProcessGeneratedUDPPacket()
[all …]
DFreeRTOS_IP.c130 static void prvProcessEthernetPacket( NetworkBufferDescriptor_t * const pxNetworkBuffer );
144 …ngResult_t eApplicationProcessCustomFrameHook( NetworkBufferDescriptor_t * const pxNetworkBuffer );
151 … NetworkBufferDescriptor_t * const pxNetworkBuffer );
162 … const NetworkBufferDescriptor_t * const pxNetworkBuffer,
668 NetworkBufferDescriptor_t * pxNetworkBuffer; in FreeRTOS_GetUDPPayloadBuffer() local
681 …pxNetworkBuffer = pxGetNetworkBufferWithDescriptor( sizeof( UDPPacket_t ) + uxRequestedSizeBytes, … in FreeRTOS_GetUDPPayloadBuffer()
683 if( pxNetworkBuffer != NULL ) in FreeRTOS_GetUDPPayloadBuffer()
686 pxNetworkBuffer->xDataLength = sizeof( UDPPacket_t ) + uxRequestedSizeBytes; in FreeRTOS_GetUDPPayloadBuffer()
688 pvReturn = &( pxNetworkBuffer->pucEthernetBuffer[ sizeof( UDPPacket_t ) ] ); in FreeRTOS_GetUDPPayloadBuffer()
994 NetworkBufferDescriptor_t * pxNetworkBuffer; in FreeRTOS_SendPingRequest() local
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_State_Handling/
DFreeRTOS_TCP_State_Handling_utest.c71 NetworkBufferDescriptor_t xNetworkBuffer, * pxNetworkBuffer; variable
220 pxNetworkBuffer = &xNetworkBuffer; in test_prvTCPHandleFin_Recv_No_FIN_Not_Sent_FINACK_Not_Sent()
221 pxNetworkBuffer->pucEthernetBuffer = ucEthernetBuffer; in test_prvTCPHandleFin_Recv_No_FIN_Not_Sent_FINACK_Not_Sent()
225 …&( pxNetworkBuffer->pucEthernetBuffer[ ipSIZE_OF_ETH_HEADER + xIPHeaderSize( pxNetworkBuffer ) ] )… in test_prvTCPHandleFin_Recv_No_FIN_Not_Sent_FINACK_Not_Sent()
239 … xSendLength = prvTCPHandleFin( pxSocket, ( const NetworkBufferDescriptor_t * ) pxNetworkBuffer ); in test_prvTCPHandleFin_Recv_No_FIN_Not_Sent_FINACK_Not_Sent()
249 pxNetworkBuffer = &xNetworkBuffer; in test_prvTCPHandleFin_Recv_FIN_FIN_Sent_FINACK_Sent_Recv_No_FIN()
250 pxNetworkBuffer->pucEthernetBuffer = ucEthernetBuffer; in test_prvTCPHandleFin_Recv_FIN_FIN_Sent_FINACK_Sent_Recv_No_FIN()
254 …&( pxNetworkBuffer->pucEthernetBuffer[ ipSIZE_OF_ETH_HEADER + xIPHeaderSize( pxNetworkBuffer ) ] )… in test_prvTCPHandleFin_Recv_FIN_FIN_Sent_FINACK_Sent_Recv_No_FIN()
268 … xSendLength = prvTCPHandleFin( pxSocket, ( const NetworkBufferDescriptor_t * ) pxNetworkBuffer ); in test_prvTCPHandleFin_Recv_FIN_FIN_Sent_FINACK_Sent_Recv_No_FIN()
279 pxNetworkBuffer = &xNetworkBuffer; in test_prvTCPHandleFin_Recv_FIN_FIN_Sent_FINACK_Sent_Recv_FIN_Not_Last()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/TCP/prvTCPReturnPacket/
DTCPReturnPacket_harness.c44 NetworkBufferDescriptor_t * pxNetworkBuffer,
49 … * pxDuplicateNetworkBufferWithDescriptor( const NetworkBufferDescriptor_t * const pxNetworkBuffer, in pxDuplicateNetworkBufferWithDescriptor() argument
52 NetworkBufferDescriptor_t * pxNetworkBuffer = ensure_FreeRTOS_NetworkBuffer_is_allocated(); in pxDuplicateNetworkBufferWithDescriptor() local
54 if( ensure_memory_is_valid( pxNetworkBuffer, sizeof( *pxNetworkBuffer ) ) ) in pxDuplicateNetworkBufferWithDescriptor()
56 pxNetworkBuffer->pucEthernetBuffer = safeMalloc( sizeof( TCPPacket_t ) ); in pxDuplicateNetworkBufferWithDescriptor()
57 __CPROVER_assume( pxNetworkBuffer->pucEthernetBuffer ); in pxDuplicateNetworkBufferWithDescriptor()
60 return pxNetworkBuffer; in pxDuplicateNetworkBufferWithDescriptor()
99 NetworkBufferDescriptor_t * pxNetworkBuffer = ensure_FreeRTOS_NetworkBuffer_is_allocated(); in harness() local
102 __CPROVER_assume( pxSocket != NULL || pxNetworkBuffer != NULL ); in harness()
107 if( ensure_memory_is_valid( pxNetworkBuffer, sizeof( *pxNetworkBuffer ) ) ) in harness()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/esp32/
DNetworkInterface.c68 BaseType_t xNetworkInterfaceOutput( NetworkBufferDescriptor_t * const pxNetworkBuffer, in xNetworkInterfaceOutput() argument
71 …if( ( pxNetworkBuffer == NULL ) || ( pxNetworkBuffer->pucEthernetBuffer == NULL ) || ( pxNetworkBu… in xNetworkInterfaceOutput()
86 …ret = esp_wifi_internal_tx( ESP_IF_WIFI_STA, pxNetworkBuffer->pucEthernetBuffer, pxNetworkBuffer->… in xNetworkInterfaceOutput()
90 …GE( TAG, "Failed to tx buffer %p, len %d, err %d", pxNetworkBuffer->pucEthernetBuffer, pxNetworkBu… in xNetworkInterfaceOutput()
105 vReleaseNetworkBufferAndDescriptor( pxNetworkBuffer ); in xNetworkInterfaceOutput()
132 NetworkBufferDescriptor_t * pxNetworkBuffer; in wlanif_input() local
149 pxNetworkBuffer = pxGetNetworkBufferWithDescriptor( len, xDescriptorWaitTime ); in wlanif_input()
151 if( pxNetworkBuffer != NULL ) in wlanif_input()
154 pxNetworkBuffer->xDataLength = len; in wlanif_input()
157 memcpy( pxNetworkBuffer->pucEthernetBuffer, buffer, len ); in wlanif_input()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_Transmission/
DFreeRTOS_TCP_Transmission_utest.c75 const NetworkBufferDescriptor_t * pxNetworkBuffer );
76 BaseType_t prvTCPSendReset( NetworkBufferDescriptor_t * pxNetworkBuffer );
79 NetworkBufferDescriptor_t xNetworkBuffer, * pxNetworkBuffer; variable
96 pxNetworkBuffer = &xNetworkBuffer; in test_prvTCPMakeSurePrepared_Not_Ready()
97 pxNetworkBuffer->pucEthernetBuffer = ucEthernetBuffer; in test_prvTCPMakeSurePrepared_Not_Ready()
116 pxNetworkBuffer = &xNetworkBuffer; in test_prvTCPMakeSurePrepared_Not_Ready_Error_Connect()
117 pxNetworkBuffer->pucEthernetBuffer = ucEthernetBuffer; in test_prvTCPMakeSurePrepared_Not_Ready_Error_Connect()
134 pxNetworkBuffer = &xNetworkBuffer; in test_prvTCPMakeSurePrepared_Ready()
135 pxNetworkBuffer->pucEthernetBuffer = ucEthernetBuffer; in test_prvTCPMakeSurePrepared_Ready()
149 pxNetworkBuffer = &xNetworkBuffer; in test_prvTCPSendPacket_Syn_State()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/parsing/ProcessIPPacket/
DProcessIPPacket_harness.c10 BaseType_t xProcessReceivedTCPPacket( NetworkBufferDescriptor_t * pxNetworkBuffer ) in xProcessReceivedTCPPacket() argument
15 BaseType_t xProcessReceivedUDPPacket( NetworkBufferDescriptor_t * pxNetworkBuffer, in xProcessReceivedUDPPacket() argument
27 NetworkBufferDescriptor_t * const pxNetworkBuffer );
62 … NetworkBufferDescriptor_t * const pxNetworkBuffer = malloc( sizeof( NetworkBufferDescriptor_t ) ); in harness() local
64 __CPROVER_assume( pxNetworkBuffer != NULL ); in harness()
67 pxNetworkBuffer->pucEthernetBuffer = malloc( ipTOTAL_ETHERNET_FRAME_SIZE ); in harness()
68 __CPROVER_assume( pxNetworkBuffer->pucEthernetBuffer != NULL ); in harness()
71 …__CPROVER_assume( pxNetworkBuffer->xDataLength >= sizeof( IPPacket_t ) && pxNetworkBuffer->xDataLe… in harness()
73 IPPacket_t * const pxIPPacket = ( IPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer; in harness()
75 publicProcessIPPacket( pxIPPacket, pxNetworkBuffer ); in harness()
/FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/mw300_rd/
DNetworkInterface.c111 NetworkBufferDescriptor_t * pxNetworkBuffer );
122 NetworkBufferDescriptor_t * pxNetworkBuffer; in process_data_packet() local
133 …pxNetworkBuffer = pxGetNetworkBufferWithDescriptor( /*payload_len*/ datalen, xDescriptorWaitTime ); in process_data_packet()
135 if( pxNetworkBuffer != NULL ) in process_data_packet()
138 pxNetworkBuffer->xDataLength = payload_len; in process_data_packet()
141 memcpy( pxNetworkBuffer->pucEthernetBuffer, payload, payload_len ); in process_data_packet()
143 xRxEvent.pvData = ( void * ) pxNetworkBuffer; in process_data_packet()
148 vReleaseNetworkBufferAndDescriptor( pxNetworkBuffer ); in process_data_packet()
217 BaseType_t xNetworkInterfaceOutput( NetworkBufferDescriptor_t * const pxNetworkBuffer, in xNetworkInterfaceOutput() argument
222 if( ( pxNetworkBuffer == NULL ) || in xNetworkInterfaceOutput()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/LPC17xx/
DNetworkInterface.c128 BaseType_t xNetworkInterfaceOutput( NetworkBufferDescriptor_t * const pxNetworkBuffer ) in xNetworkInterfaceOutput() argument
142 …if( pxNetworkBuffer->xDataLength < EMAC_ETH_MAX_FLEN ) /*_RB_ The size needs to come from FreeRTOS… in xNetworkInterfaceOutput()
146 EMAC_SetNextPacketToSend( pxNetworkBuffer->pucBuffer ); in xNetworkInterfaceOutput()
149 pxNetworkBuffer->pucBuffer = NULL; in xNetworkInterfaceOutput()
152 EMAC_StartTransmitNextBuffer( pxNetworkBuffer->xDataLength ); in xNetworkInterfaceOutput()
168 vReleaseNetworkBufferAndDescriptor( pxNetworkBuffer ); in xNetworkInterfaceOutput()
210 NetworkBufferDescriptor_t * pxNetworkBuffer; in prvEMACHandlerTask() local
241 pxNetworkBuffer = pxGetNetworkBufferWithDescriptor( 0, ( TickType_t ) 0 ); in prvEMACHandlerTask()
243 if( pxNetworkBuffer != NULL ) in prvEMACHandlerTask()
245 pxNetworkBuffer->pucBuffer = EMAC_NextPacketToRead(); in prvEMACHandlerTask()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP_DiffConfig/
DFreeRTOS_IP_DiffConfig_utest.c71 NetworkBufferDescriptor_t * const pxNetworkBuffer );
72 void prvProcessEthernetPacket( NetworkBufferDescriptor_t * const pxNetworkBuffer );
74 const NetworkBufferDescriptor_t * const pxNetworkBuffer,
211 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_prvProcessIPEventsAndTimers_eNetworkRxEvent_MoreSpace() local
215 pxNetworkBuffer = &xNetworkBuffer; in test_prvProcessIPEventsAndTimers_eNetworkRxEvent_MoreSpace()
216 pxNetworkBuffer->pucEthernetBuffer = ucEthBuffer; in test_prvProcessIPEventsAndTimers_eNetworkRxEvent_MoreSpace()
217 pxNetworkBuffer->xDataLength = sizeof( EthernetHeader_t ) - 1; in test_prvProcessIPEventsAndTimers_eNetworkRxEvent_MoreSpace()
218 pxNetworkBuffer->pxNextBuffer = NULL; in test_prvProcessIPEventsAndTimers_eNetworkRxEvent_MoreSpace()
221 xReceivedEvent.pvData = pxNetworkBuffer; in test_prvProcessIPEventsAndTimers_eNetworkRxEvent_MoreSpace()
234 vReleaseNetworkBufferAndDescriptor_Expect( pxNetworkBuffer ); in test_prvProcessIPEventsAndTimers_eNetworkRxEvent_MoreSpace()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/parsing/ProcessReceivedTCPPacket/
DProcessReceivedTCPPacket_harness.c92 NetworkBufferDescriptor_t * pxNetworkBuffer = safeMalloc( sizeof( NetworkBufferDescriptor_t ) ); in pxGetNetworkBufferWithDescriptor() local
94 if( pxNetworkBuffer ) in pxGetNetworkBufferWithDescriptor()
96 pxNetworkBuffer->pucEthernetBuffer = safeMalloc( xRequestedSizeBytes ); in pxGetNetworkBufferWithDescriptor()
97 … __CPROVER_assume( pxNetworkBuffer->xDataLength == ipSIZE_OF_ETH_HEADER + sizeof( int32_t ) ); in pxGetNetworkBufferWithDescriptor()
100 return pxNetworkBuffer; in pxGetNetworkBufferWithDescriptor()
105 NetworkBufferDescriptor_t * pxNetworkBuffer = safeMalloc( sizeof( NetworkBufferDescriptor_t ) ); in harness() local
108 __CPROVER_assume( pxNetworkBuffer != NULL ); in harness()
110 pxNetworkBuffer->pucEthernetBuffer = safeMalloc( sizeof( TCPPacket_t ) ); in harness()
113 __CPROVER_assume( pxNetworkBuffer->pucEthernetBuffer != NULL ); in harness()
115 xProcessReceivedTCPPacket( pxNetworkBuffer ); in harness()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/parsing/ProcessReceivedUDPPacket/
DProcessReceivedUDPPacket_harness.c26 uint32_t ulDNSHandlePacket( NetworkBufferDescriptor_t * pxNetworkBuffer ) in ulDNSHandlePacket() argument
51 NetworkBufferDescriptor_t * pxNetworkBuffer = safeMalloc( sizeof( NetworkBufferDescriptor_t ) ); in harness() local
61 if( pxNetworkBuffer ) in harness()
63 pxNetworkBuffer->pucEthernetBuffer = safeMalloc( sizeof( UDPPacket_t ) ); in harness()
68 if( pxNetworkBuffer && pxNetworkBuffer->pucEthernetBuffer ) in harness()
70 xProcessReceivedUDPPacket( pxNetworkBuffer, usPort, pxIsWaitingForARPResolution ); in harness()
/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
17 __CPROVER_assume( pxNetworkBuffer != NULL ); in pxGetNetworkBufferWithDescriptor()
19 pxNetworkBuffer->pucEthernetBuffer = malloc( xRequestedSizeBytes ); in pxGetNetworkBufferWithDescriptor()
20 __CPROVER_assume( pxNetworkBuffer->pucEthernetBuffer != NULL ); in pxGetNetworkBufferWithDescriptor()
22 pxNetworkBuffer->xDataLength = xRequestedSizeBytes; in pxGetNetworkBufferWithDescriptor()
23 return pxNetworkBuffer; in pxGetNetworkBufferWithDescriptor()
/FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/MPS2_AN385/
DNetworkInterface.c78 static uint32_t prvLowLevelInput( NetworkBufferDescriptor_t ** pxNetworkBuffer );
134 NetworkBufferDescriptor_t * pxNetworkBuffer = NULL; in prvRxTask() local
144 while( ( ulDataRead = prvLowLevelInput( &pxNetworkBuffer ) ) != 0UL ) in prvRxTask()
146 xRxEvent.pvData = ( void * ) pxNetworkBuffer; in prvRxTask()
150 vReleaseNetworkBufferAndDescriptor( pxNetworkBuffer ); in prvRxTask()
159 static uint32_t prvLowLevelInput( NetworkBufferDescriptor_t ** pxNetworkBuffer ) in prvLowLevelInput() argument
169 *pxNetworkBuffer = pxGetNetworkBufferWithDescriptor( ulMessageLength, in prvLowLevelInput()
172 if( *pxNetworkBuffer != NULL ) in prvLowLevelInput()
174 ( *pxNetworkBuffer )->xDataLength = ulMessageLength; in prvLowLevelInput()
177 … ( char * ) ( ( *pxNetworkBuffer )->pucEthernetBuffer ), in prvLowLevelInput()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/pic32mzef/
DNetworkInterface_wifi.c141 NetworkBufferDescriptor_t * pxNetworkBuffer = NULL; in xNetworkFrameReceived() local
154 pxNetworkBuffer = pxGetNetworkBufferWithDescriptor( len, 0 ); in xNetworkFrameReceived()
156 if( pxNetworkBuffer == NULL ) in xNetworkFrameReceived()
164 pxNetworkBuffer->xDataLength = len; in xNetworkFrameReceived()
167 memcpy( pxNetworkBuffer->pucEthernetBuffer, frame, len ); in xNetworkFrameReceived()
170 xRxEvent.pvData = ( void * ) pxNetworkBuffer; in xNetworkFrameReceived()
187 if( pxNetworkBuffer != NULL ) in xNetworkFrameReceived()
189 pxNetworkBuffer->pucEthernetBuffer = 0; in xNetworkFrameReceived()
190 vReleaseNetworkBufferAndDescriptor( pxNetworkBuffer ); in xNetworkFrameReceived()
DBufferAllocation_2.c497 void vReleaseNetworkBufferAndDescriptor( NetworkBufferDescriptor_t * const pxNetworkBuffer ) in vReleaseNetworkBufferAndDescriptor() argument
506 vReleaseNetworkBuffer( pxNetworkBuffer->pucEthernetBuffer ); in vReleaseNetworkBufferAndDescriptor()
507 pxNetworkBuffer->pucEthernetBuffer = NULL; in vReleaseNetworkBufferAndDescriptor()
511 …xListItemAlreadyInFreeList = listIS_CONTAINED_WITHIN( &xFreeBuffersList, &( pxNetworkBuffer->xBuff… in vReleaseNetworkBufferAndDescriptor()
515 vListInsertEnd( &xFreeBuffersList, &( pxNetworkBuffer->xBufferListItem ) ); in vReleaseNetworkBufferAndDescriptor()
528 iptraceNETWORK_BUFFER_RELEASED( pxNetworkBuffer ); in vReleaseNetworkBufferAndDescriptor()
533 iptraceNETWORK_BUFFER_RELEASED( pxNetworkBuffer ); in vReleaseNetworkBufferAndDescriptor()
553 …ferDescriptor_t * pxResizeNetworkBufferWithDescriptor( NetworkBufferDescriptor_t * pxNetworkBuffer, in pxResizeNetworkBufferWithDescriptor() argument
560 xOriginalLength = pxNetworkBuffer->xDataLength; in pxResizeNetworkBufferWithDescriptor()
562 xOriginalLength = pxNetworkBuffer->xDataLength + ipBUFFER_PADDING; in pxResizeNetworkBufferWithDescriptor()
[all …]
/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
72 if( ensure_memory_is_valid( pxNetworkBuffer, sizeof( *pxNetworkBuffer ) ) ) in harness()
74 pxNetworkBuffer->xDataLength = bufferSize; in harness()
78 pxNetworkBuffer->pucEthernetBuffer = malloc( bufferSize ); in harness()
79 __CPROVER_assume( pxNetworkBuffer->pucEthernetBuffer != NULL ); in harness()
86 publicTCPPrepareSend( pxSocket, &pxNetworkBuffer, uxOptionsLength ); in harness()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/prvProcessEthernetPacket/
DprvProcessEthernetPacket_harness.c27 …_local_FreeRTOS_IP_c_prvProcessEthernetPacket( NetworkBufferDescriptor_t * const pxNetworkBuffer );
49 … NetworkBufferDescriptor_t * const pxNetworkBuffer ) in __CPROVER_file_local_FreeRTOS_IP_c_prvProcessIPPacket() argument
52 __CPROVER_assert( pxNetworkBuffer != NULL, "pxNetworkBuffer cannot be NULL" ); in __CPROVER_file_local_FreeRTOS_IP_c_prvProcessIPPacket()
61 …NetworkBufferDescriptor_t * const pxNetworkBuffer = pxGetNetworkBufferWithDescriptor( ipTOTAL_ETHE… in harness() local
64 __CPROVER_assume( pxNetworkBuffer != NULL ); in harness()
66 __CPROVER_file_local_FreeRTOS_IP_c_prvProcessEthernetPacket( pxNetworkBuffer ); in harness()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_IP/
DFreeRTOS_TCP_IP_utest.c67 NetworkBufferDescriptor_t xNetworkBuffer, * pxNetworkBuffer; variable
1371 pxNetworkBuffer = &xNetworkBuffer; in test_xProcessReceivedTCPPacket_Null_Descriptor()
1372 pxNetworkBuffer->pucEthernetBuffer = ucEthernetBuffer; in test_xProcessReceivedTCPPacket_Null_Descriptor()
1374 pxNetworkBuffer->xDataLength = 40; in test_xProcessReceivedTCPPacket_Null_Descriptor()
1384 pxNetworkBuffer = &xNetworkBuffer; in test_xProcessReceivedTCPPacket_Null_Buffer()
1385 pxNetworkBuffer->pucEthernetBuffer = NULL; in test_xProcessReceivedTCPPacket_Null_Buffer()
1387 pxNetworkBuffer->xDataLength = 40; in test_xProcessReceivedTCPPacket_Null_Buffer()
1389 catch_assert( xProcessReceivedTCPPacket( pxNetworkBuffer ) ); in test_xProcessReceivedTCPPacket_Null_Buffer()
1397 pxNetworkBuffer = &xNetworkBuffer; in test_xProcessReceivedTCPPacket_Minimal_Data_Length()
1398 pxNetworkBuffer->pucEthernetBuffer = ucEthernetBuffer; in test_xProcessReceivedTCPPacket_Minimal_Data_Length()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/source/portable/BufferManagement/
DBufferAllocation_1.c359 BaseType_t vNetworkBufferReleaseFromISR( NetworkBufferDescriptor_t * const pxNetworkBuffer ) in vNetworkBufferReleaseFromISR() argument
367 vListInsertEnd( &xFreeBuffersList, &( pxNetworkBuffer->xBufferListItem ) ); in vNetworkBufferReleaseFromISR()
372 iptraceNETWORK_BUFFER_RELEASED( pxNetworkBuffer ); in vNetworkBufferReleaseFromISR()
378 void vReleaseNetworkBufferAndDescriptor( NetworkBufferDescriptor_t * const pxNetworkBuffer ) in vReleaseNetworkBufferAndDescriptor() argument
382 if( bIsValidNetworkDescriptor( pxNetworkBuffer ) == pdFALSE_UNSIGNED ) in vReleaseNetworkBufferAndDescriptor()
384 …TOS_debug_printf( ( "vReleaseNetworkBufferAndDescriptor: Invalid buffer %p\n", pxNetworkBuffer ) ); in vReleaseNetworkBufferAndDescriptor()
393 …emAlreadyInFreeList = listIS_CONTAINED_WITHIN( &xFreeBuffersList, &( pxNetworkBuffer->xBufferListI… in vReleaseNetworkBufferAndDescriptor()
397 vListInsertEnd( &xFreeBuffersList, &( pxNetworkBuffer->xBufferListItem ) ); in vReleaseNetworkBufferAndDescriptor()
406 pxNetworkBuffer, uxGetNumberOfFreeNetworkBuffers() ) ); in vReleaseNetworkBufferAndDescriptor()
414 iptraceNETWORK_BUFFER_RELEASED( pxNetworkBuffer ); in vReleaseNetworkBufferAndDescriptor()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/WinPCap/
DNetworkInterface.c194 BaseType_t xNetworkInterfaceOutput( NetworkBufferDescriptor_t * const pxNetworkBuffer, in xNetworkInterfaceOutput() argument
208 if( ( pxNetworkBuffer->xDataLength <= ( ipconfigNETWORK_MTU + ipSIZE_OF_ETH_HEADER ) ) && in xNetworkInterfaceOutput()
209 ( xSpace >= ( pxNetworkBuffer->xDataLength + sizeof( pxNetworkBuffer->xDataLength ) ) ) ) in xNetworkInterfaceOutput()
213 …ufferAdd( xSendBuffer, 0, ( const uint8_t * ) &( pxNetworkBuffer->xDataLength ), sizeof( pxNetwork… in xNetworkInterfaceOutput()
214 …reamBufferAdd( xSendBuffer, 0, ( const uint8_t * ) pxNetworkBuffer->pucEthernetBuffer, pxNetworkBu… in xNetworkInterfaceOutput()
218 …intf( ( "xNetworkInterfaceOutput: send buffers full to store %lu\n", pxNetworkBuffer->xDataLength … in xNetworkInterfaceOutput()
228 vReleaseNetworkBufferAndDescriptor( pxNetworkBuffer ); in xNetworkInterfaceOutput()
549 NetworkBufferDescriptor_t * pxNetworkBuffer; in prvInterruptSimulatorTask() local
592 pxNetworkBuffer = pxGetNetworkBufferWithDescriptor( pxHeader->len, 0 ); in prvInterruptSimulatorTask()
596 pxNetworkBuffer = NULL; in prvInterruptSimulatorTask()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/CheckOptions/
DCheckOptions_harness.c28 … const NetworkBufferDescriptor_t * pxNetworkBuffer );
83 NetworkBufferDescriptor_t pxNetworkBuffer; in harness() local
85 pxNetworkBuffer.pucEthernetBuffer = malloc( buffer_size ); in harness()
86 __CPROVER_assume( pxNetworkBuffer.pucEthernetBuffer != NULL ); in harness()
87 pxNetworkBuffer.xDataLength = buffer_size; in harness()
102 __CPROVER_file_local_FreeRTOS_TCP_IP_c_prvCheckOptions( &pxSocket, &pxNetworkBuffer ); in harness()

1234