diff --git a/src/generic/armcm_timer.h b/src/generic/armcm_timer.h
index 5e118380..6d6f5ac2 100644
--- a/src/generic/armcm_timer.h
+++ b/src/generic/armcm_timer.h
@@ -5,4 +5,4 @@
 
 void udelay(uint32_t usecs);
 
-#endif // serial_irq.h
+#endif // armcm_timer.h