diff --git a/repos/base-foc/src/base/server/server.cc b/repos/base-foc/src/base/server/server.cc index df44895ad..abc5cd451 100644 --- a/repos/base-foc/src/base/server/server.cc +++ b/repos/base-foc/src/base/server/server.cc @@ -62,7 +62,7 @@ void Rpc_entrypoint::entry() srv >> IPC_REPLY_WAIT >> opcode; /* set default return value */ - srv.ret(ERR_INVALID_OBJECT); + srv.ret(Ipc_client::ERR_INVALID_OBJECT); /* check whether capability's label fits global id */ if (((unsigned long)srv.badge()) != _rcv_buf.label()) { diff --git a/repos/base-nova/src/base/server/server.cc b/repos/base-nova/src/base/server/server.cc index dc6b0254a..b2045663e 100644 --- a/repos/base-nova/src/base/server/server.cc +++ b/repos/base-nova/src/base/server/server.cc @@ -131,7 +131,7 @@ void Rpc_entrypoint::_activation_entry() srv >> IPC_WAIT >> opcode; /* set default return value */ - srv.ret(ERR_INVALID_OBJECT); + srv.ret(Ipc_client::ERR_INVALID_OBJECT); /* atomically lookup and lock referenced object */ ep->_curr_obj = ep->lookup_and_lock(id_pt); diff --git a/repos/base/include/base/errno.h b/repos/base/include/base/errno.h deleted file mode 100644 index 75d22e22d..000000000 --- a/repos/base/include/base/errno.h +++ /dev/null @@ -1,22 +0,0 @@ -/* - * \brief Genode error codes - * \author Norman Feske - * \date 2006-04-28 - */ - -/* - * Copyright (C) 2006-2013 Genode Labs GmbH - * - * This file is part of the Genode OS framework, which is distributed - * under the terms of the GNU General Public License version 2. - */ - -#ifndef _INCLUDE__BASE__ERRNO_H_ -#define _INCLUDE__BASE__ERRNO_H_ - -namespace Genode { - - enum { ERR_INVALID_OBJECT = -70000, }; -} - -#endif /* _INCLUDE__BASE__ERRNO_H_ */ diff --git a/repos/base/include/base/ipc.h b/repos/base/include/base/ipc.h index f7a5379c4..bb4b3c039 100644 --- a/repos/base/include/base/ipc.h +++ b/repos/base/include/base/ipc.h @@ -23,7 +23,6 @@ #include #include -#include #include #include #include @@ -439,6 +438,8 @@ class Genode::Ipc_client: public Ipc_istream, public Ipc_ostream public: + enum { ERR_INVALID_OBJECT = -70000, }; + /** * Constructor */ diff --git a/repos/base/include/base/pager.h b/repos/base/include/base/pager.h index 2bba834b7..09be0bf0f 100644 --- a/repos/base/include/base/pager.h +++ b/repos/base/include/base/pager.h @@ -17,7 +17,6 @@ #include #include -#include #include #include #include diff --git a/repos/base/src/base/server/server.cc b/repos/base/src/base/server/server.cc index d5ecda141..503300df4 100644 --- a/repos/base/src/base/server/server.cc +++ b/repos/base/src/base/server/server.cc @@ -63,7 +63,7 @@ void Rpc_entrypoint::entry() srv >> IPC_REPLY_WAIT >> opcode; /* set default return value */ - srv.ret(ERR_INVALID_OBJECT); + srv.ret(Ipc_client::ERR_INVALID_OBJECT); /* atomically lookup and lock referenced object */ Object_pool::Guard curr_obj(lookup_and_lock(srv.badge()));