From 0b4e9bdab7dc547cd8a7f2e64b87b8c2deff2b3d Mon Sep 17 00:00:00 2001
From: Alwin Berger <alwin.berger@tu-dortmund.de>
Date: Mon, 26 Aug 2024 15:50:59 +0200
Subject: [PATCH] add time helper function

---
 fuzzers/FRET/src/time/clock.rs | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/fuzzers/FRET/src/time/clock.rs b/fuzzers/FRET/src/time/clock.rs
index 8fb93edf14..14370bb030 100644
--- a/fuzzers/FRET/src/time/clock.rs
+++ b/fuzzers/FRET/src/time/clock.rs
@@ -36,6 +36,10 @@ pub const _TARGET_MIPS_PER_MHZ : f32 = QEMU_ISNS_PER_SEC as f32 / _TARGET_SYSCLK
 pub const _TARGET_SYSCLK_PER_QEMU_SEC : u32 = (_TARGET_SYSCLK_FREQ as f32 * _TARGET_MIPS_PER_MHZ) as u32;
 pub const _QEMU_SYSCLK_PER_TARGET_SEC : u32 = (_TARGET_SYSCLK_FREQ as f32 * _TARGET_MHZ_PER_MIPS) as u32;
 
+pub fn tick_to_time(ticks: u64) -> Duration {
+    Duration::from_nanos((ticks << QEMU_ICOUNT_SHIFT) as u64)
+}
+
 //========== Metadata
 #[derive(Debug, SerdeAny, Serialize, Deserialize)]
 pub struct QemuIcountMetadata {