genode/base-foc/src/core/include
2012-09-14 12:29:58 +02:00
..
cap_id_alloc.h Fiasco.OC: introduce Cap_index (fixes #149, #112) 2012-03-22 14:10:44 +01:00
cap_index.h Fiasco.OC: introduce Cap_index (fixes #149, #112) 2012-03-22 14:10:44 +01:00
cap_mapping.h Fiasco.OC: fix capability ref-counter issue in core 2012-09-03 11:00:09 +02:00
cap_session_component.h Fiasco.OC: introduce Cap_index (fixes #149, #112) 2012-03-22 14:10:44 +01:00
cpu_session_component.h Extend Cpu_session with thread-affinity API 2012-09-05 10:25:04 +02:00
irq_session_component.h Fiasco.OC: introduce Cap_index (fixes #149, #112) 2012-03-22 14:10:44 +01:00
map_local.h Add support for allocating DMA memory 2012-06-20 09:17:48 +02:00
pd_session_component.h Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
platform_pd.h Fiasco.OC: fix capability ref-counter issue in core 2012-09-03 11:00:09 +02:00
platform_thread.h Fiasco.OC: implement thread-affinity function 2012-09-14 12:29:58 +02:00
platform.h Fiasco.OC: introduce Cap_index (fixes #149, #112) 2012-03-22 14:10:44 +01:00
util.h Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00