Small fixes

- do_sync_ipc() is private

- fixed typo in a comment

diff --git a/kernel/proc.c b/kernel/proc.c
index 3a143aa9be02edca1b42fd98039f39287d2962eb..7c828d46c37ca58c565e84e7fc6bf837ac68fb6e 100644 (file)
--- a/kernel/proc.c
+++ b/kernel/proc.c
@@ -241,9 +241,9 @@ check_misc_flags:
 }
 
 /*
- * handler for all synchronous IPC callsi
+ * handler for all synchronous IPC calls
  */
-PUBLIC int do_sync_ipc(struct proc * caller_ptr, /* who made the call */
+PRIVATE int do_sync_ipc(struct proc * caller_ptr, /* who made the call */
                        int call_nr,    /* system call number and flags */
                        endpoint_t src_dst_e,   /* src or dst of the call */
                        message *m_ptr) /* users pointer to a message */