genode/base-foc/include/base
2012-11-14 16:36:51 +01:00
..
cap_alloc.h base-foc: fix capability index leak 2012-10-30 12:18:31 +01:00
cap_map.h Fiasco.OC: several capability ref-counter fixes. 2012-09-03 10:59:54 +02:00
ipc_msgbuf.h Fiasco.OC: several capability ref-counter fixes. 2012-09-03 10:59:54 +02:00
ipc_pager.h base: Tell a mapping wether it maps IO memory. 2012-11-14 16:36:51 +01:00
ipc.h Fiasco.OC: fix bugs in cap_map insertion/removal 2012-05-29 13:55:00 +02:00
native_types.h Move context area definition to native_type 2012-09-24 09:17:54 +02:00
thread_state.h Fiasco.OC: introduce Cap_index (fixes #149, #112) 2012-03-22 14:10:44 +01:00