--- hatari/src/debug/debugdsp.h	2019/04/09 08:48:37	1.1.1.1
+++ hatari/src/debug/debugdsp.h	2019/04/09 08:54:23	1.1.1.4
@@ -1,8 +1,8 @@
 /*
   Hatari - debugdsp.h
 
-  This file is distributed under the GNU Public License, version 2 or at
-  your option any later version. Read the file gpl.txt for details.
+  This file is distributed under the GNU General Public License, version 2
+  or at your option any later version. Read the file gpl.txt for details.
 
   Public DSP debugging header file.
 */
@@ -10,7 +10,14 @@
 #ifndef HATARI_DEBUGDSP_H
 #define HATARI_DEBUGDSP_H
 
+#ifdef ENABLE_DSP_EMU
+extern void DebugDsp_SetDebugging(void);
+#else /* !ENABLE_DSP_EMU */
+#define DebugDsp_SetDebugging()
+#endif /* !ENABLE_DSP_EMU */
 extern void DebugDsp_Check(void);
+extern Uint32 DebugDsp_InstrCount(void);
+extern Uint32 DebugDsp_OpcodeType(void);
 extern int DebugDsp_DisAsm(int nArgc, char *psArgs[]);
 extern int DebugDsp_MemDump(int nArgc, char *psArgs[]);
 extern int DebugDsp_Register(int nArgc, char *psArgs[]);