From ed9cbe0150625cdd6bba3f8d7928c7cb1d501e36 Mon Sep 17 00:00:00 2001
From: ch1337 <christo.bita@mailbox.tu-dresden.de>
Date: Mon, 19 May 2025 11:00:15 +0200
Subject: [PATCH] aarch64: ensure the virtual counter value is synchronized

---
 qlib/kernel/mod.rs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/qlib/kernel/mod.rs b/qlib/kernel/mod.rs
index c15bc3268..68230ebf0 100644
--- a/qlib/kernel/mod.rs
+++ b/qlib/kernel/mod.rs
@@ -175,7 +175,8 @@ impl Tsc {
     pub fn RawRdtsc() -> i64 {
         let val: u64;
         unsafe {
-            asm!("mrs {0}, cntvct_el0",
+            asm!("isb
+                mrs {0}, cntvct_el0",
             out(reg) val
             )
         };