1 // SPDX-License-Identifier: MIT
5 void handle_pistorm_dev_write(uint32_t addr, uint32_t val, uint8_t type);
6 uint32_t handle_pistorm_dev_read(uint32_t addr, uint8_t type);
7 char *get_pistorm_devcfg_filename();
8 void set_pistorm_devcfg_filename(char *filename);