From e35d7c979f79770b3471823700117d41ae3b12b3 Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Thu, 28 Nov 2013 00:44:54 +0100
Subject: [PATCH] hw: IPC nodes provide protected accessors

ref #964
---
 base-hw/src/core/kernel/ipc_node.h | 22 +++++++++++++++++-----
 1 file changed, 17 insertions(+), 5 deletions(-)

diff --git a/base-hw/src/core/kernel/ipc_node.h b/base-hw/src/core/kernel/ipc_node.h
index 1281e561b..ff8bfc9e2 100644
--- a/base-hw/src/core/kernel/ipc_node.h
+++ b/base-hw/src/core/kernel/ipc_node.h
@@ -30,11 +30,7 @@ namespace Kernel
 
 class Kernel::Ipc_node
 {
-	private:
-
-		class Message_buf;
-
-		typedef Genode::Fifo<Message_buf> Message_fifo;
+	protected:
 
 		enum State
 		{
@@ -45,6 +41,12 @@ class Kernel::Ipc_node
 			PREPARE_AND_AWAIT_REPLY = 5,
 		};
 
+	private:
+
+		class Message_buf;
+
+		typedef Genode::Fifo<Message_buf> Message_fifo;
+
 		/**
 		 * Describes the buffer for incoming or outgoing messages
 		 */
@@ -201,6 +203,16 @@ class Kernel::Ipc_node
 		 */
 		virtual void _await_ipc_failed() = 0;
 
+	protected:
+
+		/***************
+		 ** Accessors **
+		 ***************/
+
+		Ipc_node * outbuf_dst() { return _outbuf_dst; }
+
+		State state() { return _state; }
+
 	public:
 
 		/**