genode/base-foc/include/base
Norman Feske d6e30c19de Replace 'Native_capability::copy_to' by accessor
The 'copy_to' function turned out to be not flexible enough to
accommodate the Noux fork mechanism. This patch removes the function,
adds an accessor for the capability destination and a compound type
'Native_capability::Raw' to be used wherever plain capability
information must be communicated.
2012-03-28 09:58:51 +02:00
..
cap_alloc.h Fiasco.OC: introduce Cap_index (fixes #149, #112) 2012-03-22 14:10:44 +01:00
cap_map.h Fiasco.OC: introduce Cap_index (fixes #149, #112) 2012-03-22 14:10:44 +01:00
ipc_msgbuf.h Fiasco.OC: introduce Cap_index (fixes #149, #112) 2012-03-22 14:10:44 +01:00
ipc_pager.h Fiasco.OC: introduce Cap_index (fixes #149, #112) 2012-03-22 14:10:44 +01:00
ipc.h Fiasco.OC: introduce Cap_index (fixes #149, #112) 2012-03-22 14:10:44 +01:00
native_types.h Replace 'Native_capability::copy_to' by accessor 2012-03-28 09:58:51 +02:00
thread_state.h Fiasco.OC: introduce Cap_index (fixes #149, #112) 2012-03-22 14:10:44 +01:00