--- xinu/sys/write.c	2018/04/24 17:39:03	1.1
+++ xinu/sys/write.c	2018/04/24 17:39:30	1.1.1.2
@@ -8,12 +8,15 @@
  *  write  -  write 1 or more bytes to a device
  *------------------------------------------------------------------------
  */
-SYSCALL	write(descrp, buff, count)
+write(descrp, buff, count)
 	int descrp, count;
 	char *buff;
 {
 	struct	devsw	*devptr;
 
+#ifdef	DEBUG
+	dotrace("write", &descrp, 3);
+#endif
 	if (isbaddev(descrp) )
 		return(SYSERR);
 	devptr = &devtab[descrp];