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 d16a96f42c9c2d3cd43b32a23dad2f9994dd67aa)
@@ -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);
 }