alex/genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Warn about the use of deprecated headers

Browse Source 
This commit enables compile-time warnings displayed whenever a deprecated
API header is included, and adjusts the existing #include directives
accordingly.

Issue #1987
This commit is contained in:
Norman Feske
2017-01-30 11:35:12 +01:00
parent b4600bfc99
commit cd3a5852d6
96 changed files with 120 additions and 98 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
repos/base-sel4/src/core/include/pager.h
View File

@@ -20,7 +20,6 @@
#include <base/thread.h>
#include <base/object_pool.h>
#include <base/session_label.h>
#include <cap_session/cap_session.h>
#include <pager/capability.h>
#include <ipc_pager.h>

4
repos/base-sel4/src/core/rpc_cap_factory.cc
View File

@@ -16,7 +16,7 @@
#include <util/misc_math.h>
/* core includes */
#include <cap_session/cap_session.h>
#include <pd_session/pd_session.h>
#include <rpc_cap_factory.h>
#include <platform.h>
@@ -40,7 +40,7 @@ Native_capability Rpc_cap_factory::_alloc(Rpc_cap_factory *owner,
Rpc_obj_key const rpc_obj_key(++unique_id_cnt);
// XXX remove cast
return Capability_space::create_rpc_obj_cap(ep, (Cap_session*)owner, rpc_obj_key);
return Capability_space::create_rpc_obj_cap(ep, (Pd_session*)owner, rpc_obj_key);
}