void GB_debugger_load_symbol_file(GB_gameboy_t *gb, const char *path);

In debugger.h

TBD

GB_debugger_load_symbol_file is thread-safe and can be called from any thread and context.