Index: generic/include/interrupt.h
===================================================================
--- generic/include/interrupt.h	(revision 1bb2e7a3ca385e067db5d9c4c5654c28f92af609)
+++ generic/include/interrupt.h	(revision beec330c15f426e89a290e7b1060eadcd98ccad9)
@@ -57,5 +57,5 @@
 	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 got exception at PC:%p. Task killed.", TASK->taskid, istate_get_pc(istate)); \
 		task_kill(TASK->taskid); \
 		thread_exit(); \