genode/repos/os/src/drivers/rtc
Christian Helmuth 86eb3f4a0d rtc: rename get_current_time() to current_time()
Issue #1344
2015-01-26 12:28:41 +01:00
..
x86 rtc: rename get_current_time() to current_time() 2015-01-26 12:28:41 +01:00