Index: kernel/generic/include/debug.h
===================================================================
--- kernel/generic/include/debug.h	(revision f651e80e2ba6968d9e184dd8ca7fa6e5b779caaf)
+++ kernel/generic/include/debug.h	(revision 7efc5177d0833414fcb6f7e2ce27f3efd24ce05d)
@@ -75,5 +75,5 @@
 #	define LOG(format, ...) \
 		printf("%s() at %s:%u: " format "\n", __func__, __FILE__, \
-			__LINE__, ##__VA_ARGS__);
+		    __LINE__, ##__VA_ARGS__);
 #else
 #	define LOG(format, ...)
@@ -92,5 +92,5 @@
 		{ \
 			printf("%s() at %s:%u: " #fnc "\n", __func__, __FILE__, \
-			__LINE__); \
+			    __LINE__); \
 			fnc; \
 		}