..

diff --git a/kernel/proc.c b/kernel/proc.c
index 2bf4cb7a0af672b57097acd563c8c153ead2a453..067b7910c61dabb1512e19f81eaa15c488489c26 100755 (executable)
--- a/kernel/proc.c
+++ b/kernel/proc.c
@@ -98,6 +98,7 @@ PRIVATE int QueueMess(endpoint_t ep, vir_bytes msg_lin, struct proc *dst)
        vmassert(dst->p_delivermsg_lin);
        vmassert(isokendpt(ep, &k));
 
+#if 0
        if(INMEMORY(dst)) {
                PHYS_COPY_CATCH(msg_lin, dst->p_delivermsg_lin,
                        sizeof(message), addr);
@@ -109,6 +110,7 @@ PRIVATE int QueueMess(endpoint_t ep, vir_bytes msg_lin, struct proc *dst)
                        }
                }
        }
+#endif
 
        PHYS_COPY_CATCH(msg_lin, vir2phys(&dst->p_delivermsg), sizeof(message), addr);
        if(addr) {