From: Erik van der Kouwe <erik@minix3.org>
Date: Wed, 17 Mar 2010 18:23:51 +0000 (+0000)
Subject: Provide a warning is a kernel call has been denied, to ease system.conf debugging
X-Git-Tag: v3.1.7~226
X-Git-Url: http://zhaoyanbai.com/repos/host.html?a=commitdiff_plain;h=c3e73f0793a9d3b17ee2a1c45ea5771ad7ff5126;p=minix.git

Provide a warning is a kernel call has been denied, to ease system.conf debugging
---

diff --git a/kernel/system.c b/kernel/system.c
index deb2dae1b..2137559ee 100644
--- a/kernel/system.c
+++ b/kernel/system.c
@@ -105,6 +105,8 @@ PRIVATE int kernel_call_dispatch(struct proc * caller, message *msg)
 	  result = EBADREQUEST;			/* illegal message type */
   }
   else if (!GET_BIT(priv(caller)->s_k_call_mask, call_nr)) {
+	  printf("SYSTEM: denied request %d from %d.\n",
+			  call_nr,msg->m_source);
 	  result = ECALLDENIED;			/* illegal message type */
   } else {
 	  /* handle the system call */