--- xinu/sys/init.c	2018/04/24 17:39:02	1.1
+++ xinu/sys/init.c	2018/04/24 17:39:17	1.1.1.2
@@ -13,6 +13,9 @@ int descrp;
 {
 	struct	devsw	*devptr;
 
+#ifdef	DEBUG
+	dotrace("init", &descrp, 1);
+#endif
 	if (isbaddev(descrp) )
 		return(SYSERR);
 	devptr = &devtab[descrp];