Index: kernel/generic/include/panic.h
===================================================================
--- kernel/generic/include/panic.h	(revision cb0827980c0d5865b80a2b77aa6fc4558ad30e40)
+++ kernel/generic/include/panic.h	(revision b63f856913cad6bf9a61c703c32a10ba508f18a2)
@@ -37,13 +37,13 @@
 
 #ifdef CONFIG_DEBUG
-#define panic(format, ...) \
-    panic_printf("Kernel panic in %s() at %s on line %d: " format, __func__, \
-    __FILE__, __LINE__, ##__VA_ARGS__);
+#	define panic(format, ...) \
+		panic_printf("Kernel panic in %s() at %s:%u: " format, __func__, \
+		__FILE__, __LINE__, ##__VA_ARGS__);
 #else
-#define panic(format, ...) \
-    panic_printf("Kernel panic: " format, ##__VA_ARGS__);
+#	define panic(format, ...) \
+		panic_printf("Kernel panic: " format, ##__VA_ARGS__);
 #endif
 
-extern void panic_printf(char *fmt, ...) __attribute__((noreturn)) ;
+extern void panic_printf(char *fmt, ...) __attribute__((noreturn));
 
 #endif