From c16288bcde7b88052e9c2866430774b853094407 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Thu, 15 Jun 2017 08:05:37 +0200
Subject: [PATCH] timer/foc: use current KIP-clock API

This prevents L4_DEPRECATED warnings.
---
 repos/os/src/drivers/timer/fiasco/time_source.cc | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/repos/os/src/drivers/timer/fiasco/time_source.cc b/repos/os/src/drivers/timer/fiasco/time_source.cc
index 91d7066757..885b91386d 100644
--- a/repos/os/src/drivers/timer/fiasco/time_source.cc
+++ b/repos/os/src/drivers/timer/fiasco/time_source.cc
@@ -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));
 }