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
@@ -153,8 +153,6 @@
 	},
 };
 
-static uint64_t get_cntxct(bool);
-
 static int arm_tmr_attach(device_t);
 
 static uint32_t arm_tmr_fill_vdso_timehands(struct vdso_timehands *vdso_th,
@@ -195,6 +193,19 @@
 	return (get_el0(cntfrq));
 }
 
+static uint64_t
+get_cntxct(bool physical)
+{
+	uint64_t val;
+
+	if (physical)
+		val = get_el0(cntpct);
+	else
+		val = get_el0(cntvct);
+
+	return (val);
+}
+
 #ifdef FDT
 static uint64_t
 get_cntxct_a64_unstable(bool physical)
@@ -209,19 +220,6 @@
 }
 #endif
 
-static uint64_t
-get_cntxct(bool physical)
-{
-	uint64_t val;
-
-	if (physical)
-		val = get_el0(cntpct);
-	else
-		val = get_el0(cntvct);
-
-	return (val);
-}
-
 static int
 set_ctrl(uint32_t val, bool physical)
 {