--- Gnu-Mach/linux/src/drivers/net/3c503.c	2020/09/02 04:41:40	1.1
+++ Gnu-Mach/linux/src/drivers/net/3c503.c	2020/09/02 04:46:38	1.1.1.2
@@ -192,7 +192,7 @@ el2_probe1(struct device *dev, int ioadd
     }
 
     if (ei_debug  &&  version_printed++ == 0)
-	printk(version);
+	printk("%s", version);
 
     dev->base_addr = ioaddr;
     /* Allocate dev->priv and fill in 8390 specific dev fields. */