Reset table of cores, e.g. after resetting FPGA from CLI.

1 files changed, 1 insertions, 0 deletions

diff --git a/hal.h b/hal.h
index 04333b9..9d5a32b 100644
--- a/hal.h
+++ b/hal.h
@@ -209,6 +209,7 @@ extern hal_core_t *hal_core_find(const char *name, hal_core_t *core);
 extern const hal_core_info_t *hal_core_info(const hal_core_t *core);
 extern hal_addr_t hal_core_base(const hal_core_t *core);
 extern hal_core_t * hal_core_iterate(hal_core_t *core);
+extern void hal_core_reset_table(void);
 extern hal_error_t hal_core_alloc(const char *name, hal_core_t **core);
 extern void hal_core_free(hal_core_t *core);
 extern void hal_critical_section_start(void);