ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-04-10 21:01:49 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

timer/foc: use current KIP-clock API

Browse Source 
This prevents L4_DEPRECATED warnings.
This commit is contained in:
Christian Helmuth 2017-06-15 08:05:37 +02:00
parent 1ea745ca2e
commit c16288bcde
1 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
repos/os/src/drivers/timer/fiasco/time_source.cc
View File

@ -79,7 +79,13 @@ Duration Timer::Time_source::curr_time()
static Fiasco::l4_kernel_info_t * const kip =
kip_ds.local_addr<Fiasco::l4_kernel_info_t>();
return Duration(Microseconds(kip->clock));
#ifdef L4_SYS_KIP_H__
Fiasco::l4_cpu_time_t const clock = kip->clock;
#else
Fiasco::l4_cpu_time_t const clock = Fiasco::l4_kip_clock(kip);
#endif
return Duration(Microseconds(clock));
}