--- a/src/syscall.h	Sun May 24 08:30:35 2009 +0000
+++ b/src/syscall.h	Sun Mar 04 21:28:48 2012 +1000
@@ -60,6 +60,8 @@
  */
 void bios_install( void );
 
+void bios_boot( uint32_t syscallid );
+
 /**
  * Install the DCLoad syscall hack
  */