--- xinu/sys/scount.c	2018/04/24 17:39:03	1.1
+++ xinu/sys/scount.c	2018/04/24 17:39:39	1.1.1.2
@@ -4,6 +4,8 @@
 #include <kernel.h>
 #include <sem.h>
 
+extern	struct	sentry	semaph[];
+
 /*------------------------------------------------------------------------
  *  scount  --  return a semaphore count
  *------------------------------------------------------------------------
@@ -11,6 +13,9 @@
 SYSCALL scount(sem)
 	int	sem;
 {
+#ifdef	DEBUG
+	dotrace("scount", &sem, 1);
+#endif
 	if (isbadsem(sem) || semaph[sem].sstate==SFREE)
 		return(SYSERR);
 	return(semaph[sem].semcnt);