From 94fcaa3dd73092de20cff81ad9fd61276cece058 Mon Sep 17 00:00:00 2001
From: Leonardo Carreras <leonardo.carreras@eonerc.rwth-aachen.de>
Date: Tue, 4 Feb 2025 12:36:09 +0000
Subject: [PATCH] Avoid special case for ARM64 in TSC

Signed-off-by: Leonardo Carreras <leonardo.carreras@eonerc.rwth-aachen.de>
---
 common/lib/tsc.cpp | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/common/lib/tsc.cpp b/common/lib/tsc.cpp
index e6196972c..44f95d726 100644
--- a/common/lib/tsc.cpp
+++ b/common/lib/tsc.cpp
@@ -40,11 +40,6 @@ int tsc_init(struct Tsc *t) {
       return ret;
 #endif
   }
-#elif defined(__aarch64__)
-  // Read counter frequency from system register
-  uint64_t cntfrq;
-  asm volatile("mrs %0, cntfrq_el0" : "=r"(cntfrq));
-  t->frequency = cntfrq;
 #else
 #ifdef __linux__
   int ret = kernel::get_cpu_frequency(&t->frequency);