From a04243aaf476faf7e4327d8affc6a831850a3b5a Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Wed, 24 Apr 2019 11:02:36 +0200
Subject: [PATCH] base-hw: remove unused Ipc_node accessor methods

Ref #3308
---
 repos/base-hw/src/core/kernel/ipc_node.h | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/repos/base-hw/src/core/kernel/ipc_node.h b/repos/base-hw/src/core/kernel/ipc_node.h
index 9e82b981db..631b2955e7 100644
--- a/repos/base-hw/src/core/kernel/ipc_node.h
+++ b/repos/base-hw/src/core/kernel/ipc_node.h
@@ -169,9 +169,7 @@ class Kernel::Ipc_node
 		 ** Accessors **
 		 ***************/
 
-		Ipc_node * callee() { return _callee; }
-		State      state()  { return _state;  }
-		Thread    &thread() { return _thread; }
+		Thread &thread() { return _thread; }
 };
 
 #endif /* _CORE__KERNEL__IPC_NODE_H_ */