From f0ec8b27c190cd53013cc4c67f4fd1ee7d727d8c Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Thu, 27 Mar 2014 12:32:55 +0100
Subject: [PATCH] hw: no argument to Ipc_node::_await_ipc_succeeded

ref #1108
---
 base-hw/src/core/kernel/ipc_node.h | 8 +++-----
 base-hw/src/core/kernel/thread.cc  | 2 +-
 base-hw/src/core/kernel/thread.h   | 2 +-
 3 files changed, 5 insertions(+), 7 deletions(-)

diff --git a/base-hw/src/core/kernel/ipc_node.h b/base-hw/src/core/kernel/ipc_node.h
index ca5ecdbdc6..42ecaa47c8 100644
--- a/base-hw/src/core/kernel/ipc_node.h
+++ b/base-hw/src/core/kernel/ipc_node.h
@@ -104,7 +104,7 @@ class Kernel::Ipc_node
 			/* update state */
 			if (_state != PREPARE_AND_AWAIT_REPLY) { _state = INACTIVE; }
 			else { _state = PREPARE_REPLY; }
-			_await_ipc_succeeded(_inbuf.size);
+			_await_ipc_succeeded();
 		}
 
 		/**
@@ -115,7 +115,7 @@ class Kernel::Ipc_node
 			/* directly receive request if we've awaited it */
 			if (_state == AWAIT_REQUEST) {
 				_receive_request(r);
-				_await_ipc_succeeded(_inbuf.size);
+				_await_ipc_succeeded();
 				return;
 			}
 			/* cannot receive yet, so queue request */
@@ -183,10 +183,8 @@ class Kernel::Ipc_node
 
 		/**
 		 * IPC node returned from waiting due to message receipt
-		 *
-		 * \param s  size of incoming message
 		 */
-		virtual void _await_ipc_succeeded(size_t const s) = 0;
+		virtual void _await_ipc_succeeded() = 0;
 
 		/**
 		 * IPC node returned from waiting due to cancellation
diff --git a/base-hw/src/core/kernel/thread.cc b/base-hw/src/core/kernel/thread.cc
index 50abadf33a..59df75be89 100644
--- a/base-hw/src/core/kernel/thread.cc
+++ b/base-hw/src/core/kernel/thread.cc
@@ -71,7 +71,7 @@ void Thread::_receive_signal(void * const base, size_t const size)
 }
 
 
-void Thread::_await_ipc_succeeded(size_t const s)
+void Thread::_await_ipc_succeeded()
 {
 	switch (_state) {
 	case AWAITS_IPC:
diff --git a/base-hw/src/core/kernel/thread.h b/base-hw/src/core/kernel/thread.h
index 40878d460d..9c0a110d88 100644
--- a/base-hw/src/core/kernel/thread.h
+++ b/base-hw/src/core/kernel/thread.h
@@ -280,7 +280,7 @@ class Kernel::Thread
 		 ** Ipc_node **
 		 **************/
 
-		void _await_ipc_succeeded(size_t const s);
+		void _await_ipc_succeeded();
 		void _await_ipc_failed();
 
 	public: