--- xinu/sys/poolinit.c	2018/04/24 17:39:03	1.1
+++ xinu/sys/poolinit.c	2018/04/24 17:39:37	1.1.1.2
@@ -19,13 +19,18 @@ poolinit()
 {
 #ifdef	MEMMARK
 	int	status;
-	PStype	ps;
+#endif
 
-	disable(ps);
+#ifdef	DEBUG
+	dotrace("poolinit", NULL, 0);
+#endif
+
+#ifdef	MEMMARK
+	disable();
 	if ( (status=mark(bpmark)) == OK) {
 		nbpools = 0;
 	}
-	restore(ps);
+	restore();
 	return( (status==OK) ? OK : SYSERR );
 #else
 	nbpools = 0;