Index: kernel/generic/src/debug/debug.c
===================================================================
--- kernel/generic/src/debug/debug.c	(revision 263bda21cd3cd48db6a7af349e737c62847da815)
+++ kernel/generic/src/debug/debug.c	(revision 377cce891a2528771a2913795413e5ee00e7911d)
@@ -36,5 +36,5 @@
  */
 
-#ifdef CONFIG_LOG
+#ifdef CONFIG_TRACE
 
 #include <debug.h>
@@ -52,5 +52,6 @@
 	if (symtab_name_lookup((uintptr_t) call_site, &call_site_sym,
 	    &call_site_off) == EOK)
-		printf("%s:%p->%s\n", call_site_sym, call_site_off, fn_sym);
+		printf("%s+%" PRIp "->%s\n", call_site_sym, call_site_off,
+		    fn_sym);
 	else
 		printf("->%s\n", fn_sym);
@@ -66,10 +67,11 @@
 	if (symtab_name_lookup((uintptr_t) call_site, &call_site_sym,
 	    &call_site_off) == EOK)
-		printf("%s:%p<-%s\n", call_site_sym, call_site_off, fn_sym);
+		printf("%s+%" PRIp "<-%s\n", call_site_sym, call_site_off,
+		    fn_sym);
 	else
 		printf("<-%s\n", fn_sym);
 }
 
-#endif /* CONFIG_LOG */
+#endif /* CONFIG_TRACE */
 
 /** @}