Apply strict build.

Signed-off-by: Pol Henarejos <pol.henarejos@cttc.es>
This commit is contained in:
Pol Henarejos
2026-03-08 19:27:23 +01:00
parent 802a706587
commit 8e6c6c1fcc
34 changed files with 277 additions and 204 deletions

View File

@@ -54,15 +54,6 @@ uint32_t FLASH_SIZE_BYTES = (2 * 1024 * 1024);
//To avoid possible future allocations, data region starts at the end of flash and goes upwards to the center region
uintptr_t end_flash, end_rom_pool, start_rom_pool, end_data_pool, start_data_pool;
extern int flash_program_block(uintptr_t addr, const uint8_t *data, size_t len);
extern int flash_program_halfword(uintptr_t addr, uint16_t data);
extern int flash_program_uintptr(uintptr_t, uintptr_t);
extern uintptr_t flash_read_uintptr(uintptr_t addr);
extern uint16_t flash_read_uint16(uintptr_t addr);
extern uint8_t *flash_read(uintptr_t addr);
extern void low_flash_available(void);
uintptr_t last_base;
uint32_t num_files = 0;
@@ -76,7 +67,7 @@ void flash_set_bounds(uintptr_t start, uintptr_t end) {
last_base = end_data_pool;
}
uintptr_t allocate_free_addr(uint16_t size, bool persistent) {
static uintptr_t allocate_free_addr(uint16_t size, bool persistent) {
if (size > FLASH_SECTOR_SIZE) {
return 0x0; //ERROR
}
@@ -144,7 +135,7 @@ int flash_clear_file(file_t *file) {
return PICOKEY_OK;
}
int flash_write_data_to_file_offset(file_t *file, const uint8_t *data, uint16_t len, uint16_t offset) {
static int flash_write_data_to_file_offset(file_t *file, const uint8_t *data, uint16_t len, uint16_t offset) {
if (!file) {
return PICOKEY_ERR_NULL_PARAM;
}
@@ -198,22 +189,22 @@ int flash_write_data_to_file(file_t *file, const uint8_t *data, uint16_t len) {
return flash_write_data_to_file_offset(file, data, len, 0);
}
uint32_t flash_free_space() {
uint32_t flash_free_space(void) {
return (uint32_t)(last_base - start_data_pool);
}
uint32_t flash_used_space() {
uint32_t flash_used_space(void) {
return (uint32_t)(end_data_pool - last_base);
}
uint32_t flash_total_space() {
uint32_t flash_total_space(void) {
return (uint32_t)(end_data_pool - start_data_pool);
}
uint32_t flash_num_files() {
uint32_t flash_num_files(void) {
return num_files;
}
uint32_t flash_size() {
uint32_t flash_size(void) {
return FLASH_SIZE_BYTES;
}