Index: kernel/generic/include/interrupt.h
===================================================================
--- kernel/generic/include/interrupt.h	(revision d681c173694bd83b842b2932968cec935ec1f26f)
+++ kernel/generic/include/interrupt.h	(revision ab1ae2d9f7221f74f7542354c35540bbba78eb6a)
@@ -56,6 +56,6 @@
 { \
 	if (istate_from_uspace(istate)) { \
-                klog_printf(cmd, ##__VA_ARGS__); \
-                klog_printf("Task %lld got exception at PC:%p. Task killed.", TASK->taskid, istate_get_pc(istate)); \
+		klog_printf("Task %lld killed due to an exception at %p.", TASK->taskid, istate_get_pc(istate)); \
+		klog_printf("  " cmd, ##__VA_ARGS__); \
 		task_kill(TASK->taskid); \
 		thread_exit(); \