--- hatari/src/includes/xbios.h	2019/04/01 07:09:16	1.1.1.1
+++ hatari/src/includes/xbios.h	2019/04/09 08:55:40	1.1.1.6
@@ -1,5 +1,15 @@
 /*
-  Hatari
+  Hatari - xbios.h
+
+  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.
 */
 
-extern BOOL XBios(void);
+#ifndef HATARI_XBIOS_H
+#define HATARI_XBIOS_H
+
+extern bool XBios(void);
+extern void XBios_Info(FILE *fp, Uint32 dummy);
+extern void XBios_ToggleCommands(void);
+
+#endif