ehmry/genode
ehmry/genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
8750e373a0
genode/repos/os/include
History
Martin Stein 8750e373a0 timer session: add elapsed_us method 
As timer sessions are not expected to be microseconds precise (because
of RPC latency and scheduling), the session interface provided only a
method 'elapsed_ms' although the back end of this method in the timer
driver works with microseconds.

However, in some cases it makes sense to have a method 'elapsed_us'. The
values it returns might be milliseconds away from the "real" time but it
allows you to work with delays smaller than a millisecond without
getting a zero delta value.

This commit is motivated by the need for fast bursts of calibration
steps for the time interpolation in the new timer connection.

Ref #2400
2017-08-23 14:08:36 +02:00
..
audio_in_session API documentation refinements 2017-05-31 13:16:21 +02:00
audio_out_session API documentation refinements 2017-05-31 13:16:21 +02:00
blit Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
block Replace Quota_exceeded by Insufficient_ram_quota 2017-05-31 13:16:05 +02:00
block_session API documentation refinements 2017-05-31 13:16:21 +02:00
cli_monitor Integrate core's RAM service into the PD service 2017-05-31 13:16:14 +02:00
decorator Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
file_system file system: track content via version counter 2017-08-17 10:59:43 +02:00
file_system_session file system: use Id_space instead of Node_handle_registry 2017-08-17 10:59:43 +02:00
framebuffer_session API documentation refinements 2017-05-31 13:16:21 +02:00
gpio Streamline exception types 2017-05-31 13:16:07 +02:00
gpio_session API documentation refinements 2017-05-31 13:16:21 +02:00
gpu Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
init Adaptation to init refactoring 2017-03-24 16:19:56 +01:00
input Streamline exception types 2017-05-31 13:16:07 +02:00
input_session API documentation refinements 2017-05-31 13:16:21 +02:00
ldso Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
loader_session API documentation refinements 2017-05-31 13:16:21 +02:00
mixer Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
net Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
nic Replace Quota_exceeded by Insufficient_ram_quota 2017-05-31 13:16:05 +02:00
nic_bridge Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
nic_session API documentation refinements 2017-05-31 13:16:21 +02:00
nitpicker_gfx Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
nitpicker_session API documentation refinements 2017-05-31 13:16:21 +02:00
os Translate buffer-exceeded exception in Session_requester 2017-06-29 12:00:03 +02:00
packet_stream_rx Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
packet_stream_tx Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
platform_device Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
platform_session Annotate session interfaces with CAP_QUOTA 2017-05-31 13:16:04 +02:00
ram_fs file system: use Id_space instead of Node_handle_registry 2017-08-17 10:59:43 +02:00
regulator Streamline exception types 2017-05-31 13:16:07 +02:00
regulator_session API documentation refinements 2017-05-31 13:16:21 +02:00
report_rom Streamline exception types 2017-05-31 13:16:07 +02:00
report_session API documentation refinements 2017-05-31 13:16:21 +02:00
rtc_session Optional session label for Rtc connection constructor 2017-05-31 13:16:22 +02:00
spec riscv: ISA-1.9.1 and GCC-6.3.0 adaptions 2017-05-31 13:16:24 +02:00
terminal terminal: add Cell_array destructor 2017-05-31 13:16:12 +02:00
terminal_session API documentation refinements 2017-05-31 13:16:21 +02:00
timer os/timer: interpolate time via timestamps 2017-05-31 13:16:11 +02:00
timer_session timer session: add elapsed_us method 2017-08-23 14:08:36 +02:00
trace Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
uart_session API documentation refinements 2017-05-31 13:16:21 +02:00
usb usb: use if-else in packet_handler 2017-06-19 12:35:57 +02:00
usb_session API documentation refinements 2017-05-31 13:16:21 +02:00
util Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
vfs VFS: move 'sync' from 'File_system' to 'Directory_service' 2017-06-12 14:32:07 +02:00