Index: kernel/arch/arm32/include/arch/atomic.h
===================================================================
--- kernel/arch/arm32/include/arch/atomic.h	(revision 93d8022e9ee8dcf2dc81eb3c64004042947f578c)
+++ kernel/arch/arm32/include/arch/atomic.h	(revision 5fdad2217fc645bdfcf1918a43c8686a3ec9fb46)
@@ -78,5 +78,6 @@
  *
  */
-NO_TRACE static inline void atomic_dec(atomic_t *val) {
+NO_TRACE static inline void atomic_dec(atomic_t *val)
+{
 	atomic_add(val, -1);
 }