Home
last modified time | relevance | path

Searched refs:index (Results 1 – 21 of 21) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ParseDNSReply/
HDParseDNSReply_harness.c74 size_t index; in DNS_ReadNameField() local
77 __CPROVER_assume( index <= uxDestLen + 1 && index <= uxRemainingBytes ); in DNS_ReadNameField()
79 return index; in DNS_ReadNameField()
102 size_t index; in DNS_SkipNameField() local
105 __CPROVER_assume( index <= uxLength ); in DNS_SkipNameField()
107 return index; in DNS_SkipNameField()
127 uint32_t index = prvParseDNSReply( pucUDPPayloadBuffer, in harness() local
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/CheckOptions/
HDCheckOptions_harness.c69 int32_t index; in __CPROVER_file_local_FreeRTOS_TCP_Reception_c_prvSingleStepTCPHeaderOptions() local
71 __CPROVER_assume( ( index == -1 ) || ( index == 1 ) || ( index <= uxTotalLength ) ); in __CPROVER_file_local_FreeRTOS_TCP_Reception_c_prvSingleStepTCPHeaderOptions()
73 return index; in __CPROVER_file_local_FreeRTOS_TCP_Reception_c_prvSingleStepTCPHeaderOptions()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/CheckOptionsOuter/
HDCheckOptionsOuter_harness.c92 …int32_t index = __CPROVER_file_local_FreeRTOS_TCP_Reception_c_prvSingleStepTCPHeaderOptions( pucPt… in harness() local
98 __CPROVER_assert( ( ( index == -1 ) || ( index == 1 ) || ( index <= uxTotalLength ) ), in harness()
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/DriverSAM/
HDgmac_SAM.c891 int index; in gmac_show_irq_counts() local
893 for( index = 0; index < ARRAY_SIZE( intPairs ); index++ ) in gmac_show_irq_counts()
895 if( gmacStats.intStatus[ intPairs[ index ].index ] ) in gmac_show_irq_counts()
897 …FreeRTOS_printf( ( "%s : %6u\n", intPairs[ index ].name, gmacStats.intStatus[ intPairs[ index ].in… in gmac_show_irq_counts()
911 int index; in gmac_handler() local
920 for( index = 0; index < ARRAY_SIZE( intPairs ); index++ ) in gmac_handler()
922 if( ul_isr & intPairs[ index ].mask ) in gmac_handler()
924 gmacStats.intStatus[ intPairs[ index ].index ]++; in gmac_handler()
HDgmac_SAM.h1410 uint32_t index ) in gmac_write_screener_reg_1() argument
1412 p_gmac->GMAC_ST1RPQ[ index ] = reg_val; in gmac_write_screener_reg_1()
1424 uint32_t index ) in gmac_write_screener_reg_2() argument
1426 p_gmac->GMAC_ST2RPQ[ index ] = reg_val; in gmac_write_screener_reg_2()
1480 uint32_t index ) in gmac_write_ethtype_reg() argument
1482 p_gmac->GMAC_ST2ER[ index ] = ( uint32_t ) ethertype; in gmac_write_ethtype_reg()
1496 uint32_t index ) in gmac_write_screen_compare_reg() argument
1505 index * ul_dlt ); in gmac_write_screen_compare_reg()
1508 index * ul_dlt ); in gmac_write_screen_compare_reg()
1596 int index; member
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ReadNameField/
HDReadNameField_harness.c91 size_t index = DNS_ReadNameField( &pxSet, in harness() local
96 __CPROVER_assert( index <= uxDestLen + 1 && index <= pxSet.uxSourceBytesRemaining, in harness()
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/ATSAM4E/
HDgmac.c884 int index; in gmac_show_irq_counts() local
886 for( index = 0; index < ARRAY_SIZE( intPairs ); index++ ) in gmac_show_irq_counts()
888 if( gmacStats.intStatus[ intPairs[ index ].index ] ) in gmac_show_irq_counts()
890 … logPrintf( "%s : %6u\n", intPairs[ index ].name, gmacStats.intStatus[ intPairs[ index ].index ] ); in gmac_show_irq_counts()
906 int index; in gmac_handler() local
921 for( index = 0; index < ARRAY_SIZE( intPairs ); index++ ) in gmac_handler()
923 if( ul_isr & intPairs[ index ].mask ) in gmac_handler()
925 gmacStats.intStatus[ intPairs[ index ].index ]++; in gmac_handler()
HDgmac.h1468 int index; member
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/SkipNameField/
HDSkipNameField_harness.c49 size_t index = DNS_SkipNameField( pucByte, uxLength ); in harness() local
53 __CPROVER_assert( index <= uxLength, in harness()
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/Zynq/
HDx_emacpsif.h47 void xemacpsif_setmac( uint32_t index,
49 uint8_t * xemacpsif_getmac( uint32_t index );
HDx_emacpsif_dma.c633 int index; in clean_dma_txdescs() local
641 for( index = 0; index < ipconfigNIC_N_TX_DESC; index++ ) in clean_dma_txdescs()
643 xemacpsif->txSegments[ index ].address = ( uint32_t ) ucTxBuffer; in clean_dma_txdescs()
644 xemacpsif->txSegments[ index ].flags = XEMACPS_TXBUF_USED_MASK; in clean_dma_txdescs()
645 pxDMA_tx_buffers[ xEMACIndex ][ index ] = ( unsigned char * ) NULL; in clean_dma_txdescs()
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/xilinx_ultrascale/
HDx_emacpsif.h42 void xemacpsif_setmac( uint32_t index,
44 uint8_t * xemacpsif_getmac( uint32_t index );
HDx_emacpsif_dma.c533 int index; in clean_dma_txdescs() local
535 for( index = 0; index < ipconfigNIC_N_TX_DESC; index++ ) in clean_dma_txdescs()
537 xemacpsif->txSegments[ index ].address = ( uintptr_t ) NULL; in clean_dma_txdescs()
538 xemacpsif->txSegments[ index ].flags = XEMACPS_TXBUF_USED_MASK; in clean_dma_txdescs()
539 pxDMA_tx_buffers[ index ] = ( unsigned char * ) NULL; in clean_dma_txdescs()
/FreeRTOS-Plus-TCP-v4.0.0/
HDGenerateOriginalFiles.py113 return FreeRTOS_Kernel_Includes.index(element)
118 return FreeRTOS_TCP_Includes.index(element)
HDCMakeLists.txt13 HOMEPAGE_URL https://freertos.org/FreeRTOS-Plus/FreeRTOS_Plus_TCP/index.html
HDHistory.txt29 (Reference: https://www.freertos.org/FreeRTOS-Plus/FreeRTOS_Plus_TCP/index.html).
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DNS_Parser/
HDFreeRTOS_DNS_Parser_utest.c3084 int index = 0; in test_parseDNSAnswer_recordstored_gt_count2() local
3090 pucByte[ index ] = 38; in test_parseDNSAnswer_recordstored_gt_count2()
3091 index += 1; in test_parseDNSAnswer_recordstored_gt_count2()
3092 strcpy( pucByte + index, "FreeRTOSbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb" ); in test_parseDNSAnswer_recordstored_gt_count2()
3093 index += 39; /* String + \0 */ in test_parseDNSAnswer_recordstored_gt_count2()
3094 pxDNSAnswerRecord = ( DNSAnswerRecord_t * ) ( pucByte + index ); in test_parseDNSAnswer_recordstored_gt_count2()
3095 index += sizeof( DNSAnswerRecord_t ); in test_parseDNSAnswer_recordstored_gt_count2()
3096 memcpy( pucByte + index, &ip_address, 4 ); in test_parseDNSAnswer_recordstored_gt_count2()
3097 index += 4; in test_parseDNSAnswer_recordstored_gt_count2()
3099 pucByte[ index ] = 38; in test_parseDNSAnswer_recordstored_gt_count2()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/tools/tcp_utilities/
HDplus_tcp_demo_cli.c794 int index; in handle_rand() local
797 for( index = 0; index < 32; index++ ) in handle_rand()
799 buffer[ index ] = ( ( ulNumber & ulMask ) != 0 ) ? '1' : '0'; in handle_rand()
803 buffer[ index ] = '\0'; in handle_rand()
/FreeRTOS-Plus-TCP-v4.0.0/source/
HDFreeRTOS_Sockets.c6202 BaseType_t index;
6207 for( index = 0; index < nfds; index++ )
6209 FreeRTOS_Socket_t * pxSocket = ( FreeRTOS_Socket_t * ) fds[ index ].fd;
6254 for( index = 0; index < nfds; index++ )
6256 FreeRTOS_Socket_t * pxSocket = ( FreeRTOS_Socket_t * ) fds[ index ].fd;
6257 EventBits_t xEventBits = fds[ index ].events;
6267 for( index = 0; index < nfds; index++ )
6269 FreeRTOS_Socket_t * pxSocket = ( FreeRTOS_Socket_t * ) fds[ index ].fd;
6271 fds[ index ].revents = pxSocket->xSocketBits & ( ( EventBits_t ) eSELECT_ALL );
/FreeRTOS-Plus-TCP-v4.0.0/docs/doxygen/
HDconfig.doxyfile1121 # (index.html). This can be useful if you have a project on for instance GitHub
1262 # Configuration options related to the alphabetical class index
1265 # If the ALPHABETICAL_INDEX tag is set to YES, an alphabetical index of all
1273 # be put under the same header in the alphabetical index. The IGNORE_PREFIX tag
1275 # while generating the index headers.
1426 # documentation will contain a main index with vertical navigation menus that
1427 # are dynamically created via JavaScript. If disabled, the navigation index will
1457 # If the GENERATE_DOCSET tag is set to YES, additional index files will be
1510 # additional HTML index files: index.hhp, index.hhc, and index.hhk. The
1511 # index.hhp is a project file that can be read by Microsoft's HTML Help Workshop
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/ATSAM4E/instance/
HDgmac.h1472 int index; member