Index: kernel/generic/src/interrupt/interrupt.c
===================================================================
--- kernel/generic/src/interrupt/interrupt.c	(revision a35b458e9db1ca95e679799dc7c1b12c83359ca3)
+++ kernel/generic/src/interrupt/interrupt.c	(revision d2f75eb31efa7109d60f52eb578fddc21c8d1e2d)
@@ -165,6 +165,6 @@
 }
 
-static NO_TRACE
-void fault_from_uspace_core(istate_t *istate, const char *fmt, va_list args)
+static NO_TRACE void
+fault_from_uspace_core(istate_t *istate, const char *fmt, va_list args)
 {
 	printf("Task %s (%" PRIu64 ") killed due to an exception at "