--- xinu/sys/getc.c	2018/04/24 17:39:02	1.1.1.1
+++ xinu/sys/getc.c	2018/04/24 17:39:24	1.1.1.2
@@ -8,11 +8,14 @@
  *  getc  -  get one character from a device
  *------------------------------------------------------------------------
  */
-SYSCALL	getc(descrp)
+getc(descrp)
 int descrp;
 {
 	struct	devsw	*devptr;
 
+#ifdef	DEBUG
+	dotrace("getc", &descrp, 1);
+#endif
 	if (isbaddev(descrp) )
 		return(SYSERR);
 	devptr = &devtab[descrp];