| 16 | extern char __StackTop; |
| 17 | |
| 18 | uint32_t System::getTotalFlash() { |
| 19 | #if defined(PICO_FLASH_SIZE_BYTES) |
| 20 | return PICO_FLASH_SIZE_BYTES; |
| 21 | #else |
| 22 | #warning PICO_FLASH_SIZE_BYTES is not set, defaulting to 2MB |
| 23 | return 2 * 1024 * 1024; |
| 24 | #endif |
| 25 | } |
| 26 | |
| 27 | uint32_t System::getUsedFlash() { |
| 28 | return &__flash_binary_end - &__flash_binary_start; |
nothing calls this directly
no outgoing calls
no test coverage detected