diff --git a/gc.c b/gc.c
index fdb1a475b9..0dbee77293 100644
--- a/gc.c
+++ b/gc.c
@@ -1150,7 +1150,7 @@ static __inline__ tick_t
 tick(void)
 {
     unsigned long val;
-    __asm__ __volatile__ ("mrs %0, cntvct_el0", : "=r" (val));
+    __asm__ __volatile__ ("mrs %0, cntvct_el0" : "=r" (val));
     return val;
 }