--- xinu/sys/putc.c	2018/04/24 17:39:04	1.1
+++ xinu/sys/putc.c	2018/04/24 17:39:43	1.1.1.2
@@ -8,12 +8,15 @@
  *  putc  -  write a single character to a device
  *------------------------------------------------------------------------
  */
-SYSCALL	putc(descrp, ch)
+putc(descrp, ch)
 int descrp;
 char ch;
 {
 	struct	devsw	*devptr;
 
+#ifdef	DEBUG
+	dotrace("putc", &descrp, 2);
+#endif
 	if (isbaddev	(descrp) )
 		return(SYSERR);
 	devptr = &devtab[descrp];