--- Gnu-Mach/linux/src/drivers/net/3c507.c	2020/09/02 04:41:40	1.1
+++ Gnu-Mach/linux/src/drivers/net/3c507.c	2020/09/02 04:46:36	1.1.1.2
@@ -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.
 
@@ -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)