Index: kernel/generic/src/debug/symtab.c
===================================================================
--- kernel/generic/src/debug/symtab.c	(revision c19aa612473b0cd0cc4282fabaaaea0f41fbb0b7)
+++ kernel/generic/src/debug/symtab.c	(revision eb91db70a95f0e0ea7a6e85c0a0cc1f4507b9b44)
@@ -192,5 +192,5 @@
 		uintptr_t addr = uint64_t_le2host(symbol_table[pos].address_le);
 		char *realname = symbol_table[pos].symbol_name;
-		printf("%p: %s\n", addr, realname);
+		printf("%p: %s\n", (void *) addr, realname);
 		pos++;
 	}