From 4757f46f71f4fccb05159cd397c683852337b5cd Mon Sep 17 00:00:00 2001
From: Bahadir Balban <bbalban@b-labs.co.uk>
Date: Tue, 2 Jun 2009 10:26:21 +0300
Subject: [PATCH] Minor comment fixes.

---
 src/api/ipc.c   | 2 +-
 src/api/mutex.c | 3 ++-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/api/ipc.c b/src/api/ipc.c
index a2c55c4..91bfa0b 100644
--- a/src/api/ipc.c
+++ b/src/api/ipc.c
@@ -76,7 +76,7 @@ int ipc_extended_copy(struct ktcb *to, struct ktcb *from)
 
 	/*
 	 * Copy from sender's kernel stack buffer
-	 * to receiver's paged-in userspace buffer
+	 * to receiver's kernel stack buffer
 	 */
 	memcpy(to->extended_ipc_buffer,
 	       from->extended_ipc_buffer, size);
diff --git a/src/api/mutex.c b/src/api/mutex.c
index f5bdbdd..3aeede7 100644
--- a/src/api/mutex.c
+++ b/src/api/mutex.c
@@ -222,7 +222,8 @@ int mutex_control_unlock(unsigned long mutex_address)
 
 	/*
 	 * Found it, if it exists, there are waiters,
-	 * now wake all of them up in FIFO order
+	 * now wake all of them up in FIFO order.
+	 * FIXME: Make sure this is FIFO order. It doesn't seem so.
 	 */
 	wake_up(&mutex_queue->wqh_waiters, WAKEUP_ASYNC);