diff --git a/arch/arm64/include/asm/arch_timer.h b/arch/arm64/include/asm/arch_timer.h
index 519ac1f7f859..f3568ec5258c 100644
--- a/arch/arm64/include/asm/arch_timer.h
+++ b/arch/arm64/include/asm/arch_timer.h
@@ -117,8 +117,6 @@ void arch_timer_reg_write_cp15(int access, enum arch_timer_reg reg, u64 val)
 		default:
 			BUILD_BUG();
 		}
-	} else {
-		BUILD_BUG();
 	}
 }
 
@@ -141,7 +139,6 @@ u64 arch_timer_reg_read_cp15(int access, enum arch_timer_reg reg)
 		}
 	}
 
-	BUILD_BUG();
 	unreachable();
 }