[Minios-devel] [UNIKRAFT PATCH 5/7] plat: Add declaration of ukplat_wall_clock() to time.h

[Florian Schmidt <florian.schmidt@xxxxxxxxx>]

Signed-off-by: Florian Schmidt <florian.schmidt@xxxxxxxxx>
---
 include/uk/plat/time.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/include/uk/plat/time.h b/include/uk/plat/time.h
index b402ec24..ad3fd954 100644
--- a/include/uk/plat/time.h
+++ b/include/uk/plat/time.h
@@ -46,6 +46,7 @@ void ukplat_time_init(void);
 void ukplat_time_fini(void);
 
 __nsec ukplat_monotonic_clock(void);
+__nsec ukplat_wall_clock(void);
 
 /* Time tick length */
 #define UKPLAT_TIME_TICK_NSEC  (UKARCH_NSEC_PER_SEC / CONFIG_HZ)
-- 
2.20.1


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