Home
last modified time | relevance | path

Searched refs:k (Results 1 – 3 of 3) sorted by relevance

/FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/STM32Hxx/
Dreadme.md60 |DTCM |128k|128k|128k|0x20000000|
61 |AXI-SRAM |511k|511k|384k|0x24000000|
62 |SRAM1 |128k|128k|32k |0x30000000|
63 |SRAM2 |128k|128k|16k |0x30020000|
64 |SRAM3 |32k | 32k| - |0x30040000|
65 |SRAM4 |64k |64k |64k |0x38000000|
66 |Backup SRAM|4k |4k |4k |0x38800000|
/FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/ThirdParty/MSP432/
DNetworkInterface.c619 uint32_t k; in vGetInternalNetworkInterfaceMSP432EConfigDefaults() local
624 for( k = 0; k < ipMAC_ADDRESS_LENGTH_BYTES; k++ ) in vGetInternalNetworkInterfaceMSP432EConfigDefaults()
626 config->ucMACAddr[ k ] = 0xFF; in vGetInternalNetworkInterfaceMSP432EConfigDefaults()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/
Dmake_proof_makefiles.py179 makefile = ["H_%s = %s" % (k, v) for k, v in makefile.items()]