commit fd051d463a920541baf17b8a087bc0ce0173e71c
Author: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date:   Mon Apr 21 20:18:13 2025 +0200

    xen: Add hpclock

diff --git a/xen/time.c b/xen/time.c
index 656c6903..29c70f44 100644
--- a/xen/time.c
+++ b/xen/time.c
@@ -143,3 +143,15 @@ clkstart(void)
 	/* 10ms tick rest */
 	hyp_do_set_timer_op(hyp_get_stime()+10*1000*1000);
 }
+
+uint32_t
+hpclock_read_counter(void)
+{
+	return hyp_get_stime();
+}
+
+uint32_t
+hpclock_get_counter_period_nsec(void)
+{
+	return 1;
+}
