--- hatari/src/includes/xbios.h	2019/04/01 07:14:45	1.1.1.2
+++ hatari/src/includes/xbios.h	2019/04/09 08:59:24	1.1.1.7
@@ -1,13 +1,15 @@
 /*
   Hatari - xbios.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.
 */
 
 #ifndef HATARI_XBIOS_H
 #define HATARI_XBIOS_H
 
 extern bool XBios(void);
+extern void XBios_Info(FILE *fp, Uint32 dummy);
+extern void XBios_EnableCommands(bool enable);
 
 #endif