--- hatari/src/debug/debugcpu.h	2019/04/09 08:48:37	1.1
+++ hatari/src/debug/debugcpu.h	2019/04/09 08:56:47	1.1.1.5
@@ -1,8 +1,8 @@
 /*
   Hatari - debugcpu.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 CPU debugging header.
 */
@@ -11,6 +11,10 @@
 #define HATARI_DEBUGCPU_H
 
 extern void DebugCpu_Check(void);
+extern void DebugCpu_SetDebugging(void);
+extern Uint32 DebugCpu_InstrCount(void);
+extern Uint32 DebugCpu_OpcodeType(void);
+
 extern int DebugCpu_DisAsm(int nArgc, char *psArgs[]);
 extern int DebugCpu_MemDump(int nArgc, char *psArgs[]);
 extern int DebugCpu_Register(int nArgc, char *psArgs[]);