genode/os/include
Norman Feske 48ac5143a2 Add spin lock to DDE Kit
Linux DDE used to implement Linux spin locks based on 'dde_kit_lock'.
This works fine if a spin lock is initialized only once and used
infinitely. But if spin locks are initialized on-the-fly at a high rate,
each initialization causes the allocation of a new 'dde_kit_lock'.
Because in contrast to normal locks, spinlocks cannot be explicitly
destroyed, the spin-lock emulating locks are never freed. To solve the
leakage of locks, there seems to be no other way than to support the
semantics as expected by the Linux drivers. Hence, this patch introduces
a DDE Kit API for spin locks.
2012-01-27 02:01:07 +01:00
..
audio_out_session Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
blit Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
block Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
block_session Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
dde_kit Add spin lock to DDE Kit 2012-01-27 02:01:07 +01:00
framebuffer_session Add mode_sigh and release to framebuffer::Session 2012-01-25 16:08:24 +01:00
gpu Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
init Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
input Const qualifiers for Input::Event accessors 2012-01-17 23:06:02 +01:00
input_session Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
ldso Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
loader_session Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
net Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
nic Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
nic_session Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
nitpicker_gfx Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
nitpicker_session Replace Framebuffer::info by Framebuffer::mode 2012-01-25 13:27:47 +01:00
nitpicker_view Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
os Helper for running a service as a child (slave) 2012-01-25 20:04:42 +01:00
packet_stream_rx Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
packet_stream_tx Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
pci_device Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
pci_session Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
platform Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
terminal_session Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
timer_session Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
util Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
xev_track Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00