diff --git a/sys/arm/arm/generic_timer.c b/sys/arm/arm/generic_timer.c
--- a/sys/arm/arm/generic_timer.c
+++ b/sys/arm/arm/generic_timer.c
@@ -199,7 +199,6 @@
 {
 	uint64_t val;
 
-	isb();
 	if (physical) {
 		do {
 			val = get_el0(cntpct);
@@ -222,7 +221,6 @@
 {
 	uint64_t val;
 
-	isb();
 	if (physical)
 		val = get_el0(cntpct);
 	else