diff --git a/platform/linux-generic/arch/aarch64/odp/api/abi/time_cpu.h b/platform/linux-generic/arch/aarch64/odp/api/abi/time_cpu.h
index ff8133ec95c..43a45e39d25 100644
--- a/platform/linux-generic/arch/aarch64/odp/api/abi/time_cpu.h
+++ b/platform/linux-generic/arch/aarch64/odp/api/abi/time_cpu.h
@@ -15,7 +15,7 @@ static inline uint64_t _odp_time_cpu_global(void)
 {
 	uint64_t cntvct;
 
-	__asm__ volatile("mrs %0, cntvct_el0" : "=r"(cntvct) : : "memory");
+	__asm__ volatile("mrs %0, cntvct_el0" : "=r"(cntvct));
 
 	return cntvct;
 }