diff --git a/src/arch/arm/machine/generic_timer.c b/src/arch/arm/machine/generic_timer.c
index 536d4ee743cb676e8c65eb281f12134a4917d91f..b93d42fd1f235ac747276de7e4817501973e5c42 100644
--- a/src/arch/arm/machine/generic_timer.c
+++ b/src/arch/arm/machine/generic_timer.c
@@ -37,7 +37,8 @@ BOOT_CODE void initGenericTimer(void)
  * to ifdef'ing out this initTimer definition for exynos5 platforms.
  */
 #ifndef CONFIG_PLAT_EXYNOS5
-BOOT_CODE void initTimer(void) {
+BOOT_CODE void initTimer(void)
+{
     initGenericTimer();
 }
 #endif