4254cb04e1
Instead of using msleep to sleep periodically, and then increase jiffies counter in the alarm scheduler implementation of the timed semaphore use the 'trigger_periodic' call introduced by the change of the timer session interface into an asynchronous one. Thereby, we can reduce the necessary IPC communication with the timer service effectively. Ref #35 |
||
---|---|---|
.. | ||
alarm.h | ||
attached_io_mem_dataspace.h | ||
attached_mmio.h | ||
attached_ram_dataspace.h | ||
attached_rom_dataspace.h | ||
child_policy_dynamic_rom.h | ||
config.h | ||
irq_activation.h | ||
packet_stream.h | ||
path.h | ||
ring_buffer.h | ||
session_policy.h | ||
slave.h | ||
static_root.h | ||
synced_interface.h | ||
timed_semaphore.h |