--- Gnu-Mach/linux/src/drivers/net/hp.c	2020/09/02 04:41:40	1.1
+++ Gnu-Mach/linux/src/drivers/net/hp.c	2020/09/02 04:49:04	1.1.1.2
@@ -136,7 +136,7 @@ int hp_probe1(struct device *dev, int io
 	}
 
 	if (ei_debug  &&  version_printed++ == 0)
-		printk(version);
+		printk("%s", version);
  
 	printk("%s: %s (ID %02x) at %#3x,", dev->name, name, board_id, ioaddr);