diff --git a/repos/dde_linux/src/test/driver_time/spec/arm_64/generated_dummies.c b/repos/dde_linux/src/test/driver_time/spec/arm_64/generated_dummies.c
index 58b5e0b2e9..1b7bd999e0 100644
--- a/repos/dde_linux/src/test/driver_time/spec/arm_64/generated_dummies.c
+++ b/repos/dde_linux/src/test/driver_time/spec/arm_64/generated_dummies.c
@@ -73,11 +73,6 @@ int _printk_deferred(const char * fmt,...)
 }
 
 
-#include <clocksource/arm_arch_timer.h>
-
-u64 (*arch_timer_read_counter)(void);
-
-
 #include <linux/context_tracking_irq.h>
 
 noinstr void ct_irq_enter(void)
diff --git a/repos/dde_linux/src/test/driver_time/spec/arm_64/lx_emul.c b/repos/dde_linux/src/test/driver_time/spec/arm_64/lx_emul.c
new file mode 100644
index 0000000000..3ce2aa0912
--- /dev/null
+++ b/repos/dde_linux/src/test/driver_time/spec/arm_64/lx_emul.c
@@ -0,0 +1,6 @@
+#include <clocksource/arm_arch_timer.h>
+
+extern unsigned long long lx_emul_timestamp(void);
+
+u64 (*arch_timer_read_counter)(void) = lx_emul_timestamp;
+
diff --git a/repos/dde_linux/src/test/driver_time/spec/arm_64/target.mk b/repos/dde_linux/src/test/driver_time/spec/arm_64/target.mk
index ef575f8cbd..209599a14c 100644
--- a/repos/dde_linux/src/test/driver_time/spec/arm_64/target.mk
+++ b/repos/dde_linux/src/test/driver_time/spec/arm_64/target.mk
@@ -1,5 +1,7 @@
 REQUIRES := arm_64
 
-SRC_C += lx_emul/shadow/arch/arm64/kernel/smp.c
+SRC_CC += timestamp.cc
+SRC_C  += lx_emul.c
+SRC_C  += lx_emul/shadow/arch/arm64/kernel/smp.c
 
 include $(PRG_DIR)/../../target.inc
diff --git a/repos/dde_linux/src/test/driver_time/spec/arm_64/timestamp.cc b/repos/dde_linux/src/test/driver_time/spec/arm_64/timestamp.cc
new file mode 100644
index 0000000000..a870169c45
--- /dev/null
+++ b/repos/dde_linux/src/test/driver_time/spec/arm_64/timestamp.cc
@@ -0,0 +1,7 @@
+#include <trace/timestamp.h>
+
+extern "C" unsigned long long lx_emul_timestamp();
+extern "C" unsigned long long lx_emul_timestamp()
+{
+	return Genode::Trace::timestamp();
+}