genode/base-foc/include/base
2012-09-24 09:17:54 +02:00
..
cap_alloc.h Fiasco.OC: several capability ref-counter fixes. 2012-09-03 10:59:54 +02: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 Add support for allocating DMA memory 2012-06-20 09:17:48 +02: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