/FreeRTOS-Plus-TCP-v4.0.0/source/include/ |
D | FreeRTOSIPConfigDefaults.h | 62 #error now called: ipconfigTCP_TIME_TO_LIVE 66 #error now called: ipconfigUDP_TIME_TO_LIVE 70 #error now called: ipconfigPACKET_FILLER_SIZE 78 #error now called: ipconfigDNS_REQUEST_ATTEMPTS 82 #error now called: ipconfigIP_TASK_PRIORITY 86 #error now called: ipconfigIP_TASK_STACK_SIZE_WORDS 90 #error now called: ipconfigETHERNET_DRIVER_FILTERS_PACKETS 94 #error now called: ipconfigUDP_MAX_SEND_BLOCK_TIME_TICKS 98 #error now called: ipconfigUSE_CALLBACKS 102 #error now called: ipconfigNUM_NETWORK_BUFFER_DESCRIPTORS [all …]
|
D | FreeRTOS_Sockets.h | 43 #error FreeRTOSIPConfig.h has not been included yet 56 #error FreeRTOS.h must be included before FreeRTOS_Sockets.h. 61 #error The FreeRTOS header file task.h must be included before FreeRTOS_Sockets.h.
|
D | FreeRTOS_DHCP.h | 48 #error ipconfigNETWORK_MTU needs to be at least 586 to use DHCP
|
D | FreeRTOS_DNS_Globals.h | 108 … #error When DNS caching is disabled, please make ipconfigDNS_CACHE_ADDRESSES_PER_ENTRY equal to 1.
|
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ |
D | make_configuration_directories.py | 106 LOGGER.error("Expected DEF as key in a Configurations.json files.") 115 LOGGER.error(e) 116 LOGGER.error(textwrap.dedent("""\ 126 LOGGER.error("The offending entry is %s", config) 138 LOGGER.error("Could not find a harness in folder %s.", folder) 139 LOGGER.error("This folder is not processed do the end!")
|
D | make_proof_makefiles.py | 145 logging.error("parsing file %s", file) 158 logging.error( 197 logging.error(wrap("""\ 208 logging.error(wrap("""\ 259 logging.error(wrap("""\ 275 logging.error(wrap("""\ 299 logging.error(wrap("""\ 323 logging.error(wrap("""\
|
D | run-cbmc-proofs.py | 125 logging.error( 146 logging.error("Command failed: %s", str_cmd) 163 logging.error( 280 logging.error("No proof directories found") 297 logging.error(
|
D | make_type_header_files.py | 104 logging.error("Dumping type header for file '%s' failed", fyle) 105 logging.error("The command `%s` returned %s", 108 logging.error("The return code is %d", int(res.returncode))
|
D | prepare.py | 91 logging.error(textwrap.dedent("""\
|
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/MPS2_AN385/ether_lan9118/ |
D | smsc9220_eth_drv.c | 985 enum smsc9220_error_t error = SMSC9220_ERROR_NONE; in smsc9220_init() local 996 error = smsc9220_check_id( dev ); in smsc9220_init() 998 if( error != SMSC9220_ERROR_NONE ) in smsc9220_init() 1000 return error; in smsc9220_init() 1003 error = smsc9220_soft_reset( dev ); in smsc9220_init() 1005 if( error != SMSC9220_ERROR_NONE ) in smsc9220_init() 1007 return error; in smsc9220_init() 1019 error = smsc9220_wait_eeprom( dev ); in smsc9220_init() 1021 if( error != SMSC9220_ERROR_NONE ) in smsc9220_init() 1023 return error; in smsc9220_init() [all …]
|
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/lib/ |
D | print_tool_versions.py | 47 logging.error("%s'%s' not found on $PATH", err, tool) 54 logging.error("%s'%s --version' timed out", err, tool) 57 logging.error(
|
D | summarize.py | 131 logging.error("Not all proofs passed.") 132 logging.error(msg)
|
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/MPS2_AN385/ |
D | NetworkInterface.c | 326 enum smsc9220_error_t error = SMSC9220_ERROR_NONE; in xMPS2_NetworkInterfaceOutput() local 335 error = smsc9220_send_by_chunks( dev, in xMPS2_NetworkInterfaceOutput() 341 if( error == SMSC9220_ERROR_NONE ) in xMPS2_NetworkInterfaceOutput() 350 error ) ); in xMPS2_NetworkInterfaceOutput()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/patches/ |
D | patch.py | 23 logging.error("patching failed: %s", tmpfile)
|
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/DriverSAM/ |
D | gmac_SAM.c | 92 #error Configuration error, GMAC_RX_BUFFERS must be at least 2 96 #error Configuration error, GMAC_TX_BUFFERS must be at least 2 444 #error ETHERNET_CONF_DATA_OFFSET not defined, assuming 0 in gmac_dev_init()
|
D | NetworkInterface.c | 63 #error please define this macro as zero 83 #error This driver works optimal if ipconfigZERO_COPY_RX_DRIVER is defined as 1 87 #error This driver works optimal if ipconfigZERO_COPY_TX_DRIVER is defined as 1
|
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/xilinx_ultrascale/ |
D | uncached_memory.c | 90 #error Please define the specific target Zynq Ultrascale+ architecture
|
D | NetworkInterface.c | 64 #error please use the new defines with 'ipconfig' prefix 110 #error Please define both 'ipconfigZERO_COPY_RX_DRIVER' and 'ipconfigZERO_COPY_TX_DRIVER' as 1
|
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/LPC18xx/ |
D | NetworkInterface.c | 54 #error please use the new defines with 'ipconfig' prefix 75 #error please define configNUM_RX_DESCRIPTORS in your FreeRTOSIPConfig.h 79 #error please define configNUM_TX_DESCRIPTORS in your FreeRTOSIPConfig.h 83 …#error NETWORK_IRQHandler must be defined to the name of the function that is installed in the int…
|
/FreeRTOS-Plus-TCP-v4.0.0/test/Coverity/ConfigFiles/ |
D | portmacro.h | 109 …#error configUSE_PORT_OPTIMISED_TASK_SELECTION can only be set to 1 when configMAX_PRIORITIES is l…
|
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/NXP1060/ |
D | NetworkInterface.c | 114 #error "ENET_RXBD_NUM < MAX_BUFFERS_PER_FRAME" 125 #error "ENET_RXBUFF_NUM < (ENET_RXBD_NUM + MAX_BUFFERS_PER_FRAME)" 161 #error "ENET_ENHANCEDBUFFERDESCRIPTOR_MODE is not supported by this driver"
|
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/ATSAM4E/ |
D | NetworkInterface.c | 57 #error please use the new defines with 'ipconfig' prefix 89 #error Please define GMAC_USES_TX_CALLBACK as 1
|
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/pic32mzef/ |
D | NetworkInterface_eth.c | 190 #error "TCPIP_STACK_USE_EXTERNAL_HEAP should be defined for this project!" 350 #error "MAC Address: not supported architecture!" in PIC32_GetMACAddress() 364 #error "MAC Address: not supported architecture!" in PIC32_GetMacConfigData()
|
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/Zynq/ |
D | NetworkInterface.c | 67 #error please use the new defines with 'ipconfig' prefix 114 #error Please define both 'ipconfigZERO_COPY_RX_DRIVER' and 'ipconfigZERO_COPY_TX_DRIVER' as 1
|
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/ATSAME5x/ |
D | NetworkInterface.c | 82 #error Receive CRC offloading should be enabled. 85 #error Transmit CRC offloading should be enabled.
|