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_ */