read_frame PARAMS ((char *));
static void
-boot_board PARAMS ((void));
+boot_board PARAMS ((char *, int));
static int
remote_write_bytes PARAMS ((CORE_ADDR memaddr, char *myaddr, int len));
#define INBUFSIZE 10
-void
-boot_board()
+static void
+boot_board (dummy1, dummy2)
+ char *dummy1;
+ int dummy2;
{
char c;
char buf[INBUFSIZE];