Index: kernel/generic/src/debug/debug.c
===================================================================
--- kernel/generic/src/debug/debug.c	(revision 49ace2326d8ef34bd12cb31fe46d0f0a0e7f08ac)
+++ kernel/generic/src/debug/debug.c	(revision bbfdf62eecb75fb74d785cdd587affc613b7ffe9)
@@ -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 */
 
 /** @}