--- xinu/sys/sreset.c	2018/04/24 17:39:04	1.1
+++ xinu/sys/sreset.c	2018/04/24 17:39:58	1.1.1.2
@@ -15,13 +15,15 @@ SYSCALL sreset(sem,count)
 	int	count;
 {
 	struct	sentry	*sptr;
-	PStype	ps;
 	int	pid;
 	int	slist;
 
-	disable(ps);
+#ifdef	DEBUG
+	dotrace("sreset", &sem, 1);
+#endif
+	disable();
 	if (isbadsem(sem) || count<0 || semaph[sem].sstate==SFREE) {
-		restore(ps);
+		restore();
 		return(SYSERR);
 	}
 	sptr = &semaph[sem];
@@ -30,6 +32,6 @@ SYSCALL sreset(sem,count)
 		ready(pid,RESCHNO);
 	sptr->semcnt = count;
 	resched();
-	restore(ps);
+	restore();
 	return(OK);
 }