--- xinu/sys/read.c	2018/04/24 17:39:02	1.1
+++ xinu/sys/read.c	2018/04/24 17:39:26	1.1.1.2
@@ -5,15 +5,18 @@
 #include <io.h>
 
 /*------------------------------------------------------------------------
- *  read  -  read one or more bytes from a device
+ *  read  -  read 1 or more bytes from a device
  *------------------------------------------------------------------------
  */
-SYSCALL	read(descrp, buff, count)
+read(descrp, buff, count)
 int descrp, count;
 char *buff;
 {
 	struct	devsw	*devptr;
 
+#ifdef	DEBUG
+	dotrace("read", &descrp, 3);
+#endif
 	if (isbaddev(descrp) )
 		return(SYSERR);
 	devptr = &devtab[descrp];