--- Gnu-Mach/linux/src/drivers/net/3c507.c	2020/09/02 04:41:40	1.1.1.1
+++ Gnu-Mach/linux/src/drivers/net/3c507.c	2020/09/02 04:49:05	1.1.1.3
@@ -71,6 +71,8 @@ static unsigned int net_debug = NET_DEBU
 static unsigned int netcard_portlist[] =
 	{ 0x300, 0x320, 0x340, 0x280, 0};
 
+static void init_rx_bufs(struct device *dev);
+
 /*
   			Details of the i82586.
 
@@ -352,7 +354,7 @@ int el16_probe1(struct device *dev, int
 		dev = init_etherdev(0, sizeof(struct net_local));
 
 	if (net_debug  &&  version_printed++ == 0)
-		printk(version);
+		printk("%s", version);
 
 	printk("%s: 3c507 at %#x,", dev->name, ioaddr);
 
@@ -408,7 +410,7 @@ int el16_probe1(struct device *dev, int
 		   dev->if_port ? "ex" : "in", dev->mem_start, dev->mem_end-1);
 
 	if (net_debug)
-		printk(version);
+		printk("%s", version);
 
 	/* Initialize the device structure. */
 	dev->priv = kmalloc(sizeof(struct net_local), GFP_KERNEL);
@@ -589,7 +591,6 @@ el16_interrupt(int irq, void *dev_id, st
 	}
 
 	if ((status & 0x0070) != 0x0040  &&  dev->start) {
-	  static void init_rx_bufs(struct device *);
 		/* The Rx unit is not ready, it must be hung.  Restart the receiver by
 		   initializing the rx buffers, and issuing an Rx start command. */
 		if (net_debug)