[Minios-devel] [UNIKRAFT PATCH 4/7] plat/xen: Dummy implementation of ukplat_wall_clock() for arm32

[Florian Schmidt <florian.schmidt@xxxxxxxxx>]

Signed-off-by: Florian Schmidt <florian.schmidt@xxxxxxxxx>
---
 plat/xen/arm/arch_time.c | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/plat/xen/arm/arch_time.c b/plat/xen/arm/arch_time.c
index fec89da8..cd96e710 100644
--- a/plat/xen/arm/arch_time.c
+++ b/plat/xen/arm/arch_time.c
@@ -97,6 +97,12 @@ __nsec ukplat_monotonic_clock(void)
        return (__nsec) ticks_to_ns(read_virtual_count() - cntvct_at_init);
 }
 
+/* TODO: proper implementation of wall clock time */
+__nsec ukplat_wall_clock(void)
+{
+       return ukplat_monotonic_clock();
+}
+
 /* Set the timer and mask. */
 void write_timer_ctl(uint32_t value)
 {
-- 
2.20.1


_______________________________________________
Minios-devel mailing list
Minios-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/minios-devel