Kernel: fix faulty trap check

diff --git a/kernel/proc.c b/kernel/proc.c
index 02e2c0e48e61cad35ff0c509723963faf0ed2d1e..2f1f9d15c9129e33e7661efe62a2a737beb17524 100644 (file)
--- a/kernel/proc.c
+++ b/kernel/proc.c
@@ -405,7 +405,10 @@ long bit_map;                      /* notification event set or flags */
        return(ETRAPDENIED);            /* trap denied by mask or kernel */
   }
 
-  if ((iskerneln(src_dst_p) && call_nr != SENDREC && call_nr != RECEIVE)) {
+  /* SENDA has no src_dst value here, so this check is in mini_senda() as well.
+   */
+  if (call_nr != SENDREC && call_nr != RECEIVE && call_nr != SENDA &&
+       iskerneln(src_dst_p)) {
 #if DEBUG_ENABLE_IPC_WARNINGS
       kprintf("sys_call: trap %d not allowed, caller %d, src_dst %d\n", 
           call_nr, proc_nr(caller_ptr), src_dst_e);
@@ -915,6 +918,19 @@ size_t size;
                        continue;
                }
 
+               if (iskerneln(dst_p))
+               {
+                       /* Asynchronous sends to the kernel are not allowed */
+                       tabent.result= ECALLDENIED;
+                       A_INSERT(i, result);
+                       tabent.flags= flags | AMF_DONE;
+                       A_INSERT(i, flags);
+
+                       if (flags & AMF_NOTIFY)
+                               do_notify= 1;
+                       continue;
+               }
+
                if (!may_send_to(caller_ptr, dst_p))
                {
                        /* Send denied by IPC mask */