--- previous/src/debug/symbols.h	2018/04/24 19:25:10	1.1
+++ previous/src/debug/symbols.h	2018/04/24 19:25:47	1.1.1.2
@@ -33,5 +33,8 @@ extern const char* Symbols_GetByCpuAddre
 extern const char* Symbols_GetByDspAddress(Uint32 addr);
 /* symbols/dspsymbols command parsing */
 extern int Symbols_Command(int nArgc, char *psArgs[]);
+/* how many symbols are loaded */
+extern unsigned int Symbols_CpuCount(void);
+extern unsigned int Symbols_DspCount(void);
 
 #endif