From 1d0852bcd4f898fe66e97289378d131ea37a59a2 Mon Sep 17 00:00:00 2001
From: Ben Gras <ben@minix3.org>
Date: Tue, 20 Sep 2005 12:24:19 +0000
Subject: [PATCH] Enforce system call bitmask

---
 kernel/system.c | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/kernel/system.c b/kernel/system.c
index 132cd157b..5019dd94e 100755
--- a/kernel/system.c
+++ b/kernel/system.c
@@ -78,8 +78,7 @@ PUBLIC void sys_task()
       if (! (priv(caller_ptr)->s_call_mask & (1<<call_nr))) {
 	  kprintf("SYSTEM: request %d from %d denied.\n", call_nr,m.m_source);
 	  result = ECALLDENIED;			/* illegal message type */
-      }
-      if (call_nr >= NR_SYS_CALLS) {		/* check call number */
+      } else if (call_nr >= NR_SYS_CALLS) {		/* check call number */
 	  kprintf("SYSTEM: illegal request %d from %d.\n", call_nr,m.m_source);
 	  result = EBADREQUEST;			/* illegal message type */
       } 
-- 
2.44.0