--- Gnu-Mach/linux/src/drivers/net/pcnet32.c	2020/09/02 04:46:37	1.1.1.2
+++ Gnu-Mach/linux/src/drivers/net/pcnet32.c	2020/09/02 04:49:06	1.1.1.3
@@ -344,7 +344,7 @@ static int pcnet32_probe1(struct device
     dev->irq = irq_line;
 
     if (pcnet32_debug > 0)
-      printk(version);
+      printk("%s", version);
 
     /* The PCNET32-specific entries in the device structure. */
     dev->open = &pcnet32_open;