Index: generic/src/console/cmd.c
===================================================================
--- generic/src/console/cmd.c	(revision 280a27e37f59414f14a49f3d48620945ee8580e0)
+++ generic/src/console/cmd.c	(revision 4790dbc55a32947cb1671f5bb3a4081add2e052d)
@@ -459,7 +459,7 @@
 	} else {
 		symbol = get_symtab_entry(symaddr);
-		printf("Calling f(): %p: %s\n", symaddr, symbol);
+		printf("Calling f(): %.*p: %s\n", sizeof(__address) * 2, symaddr, symbol);
 		f =  (__native (*)(void)) symaddr;
-		printf("Result: %p\n", f());
+		printf("Result: %#zx\n", f());
 	}
 	
@@ -483,7 +483,7 @@
 	} else {
 		symbol = get_symtab_entry(symaddr);
-		printf("Calling f(0x%zX): %p: %s\n", arg1, symaddr, symbol);
+		printf("Calling f(0x%zX): %.*p: %s\n", arg1, sizeof(__address) * 2, symaddr, symbol);
 		f =  (__native (*)(__native,...)) symaddr;
-		printf("Result: %p\n", f(arg1));
+		printf("Result: %#zx\n", f(arg1));
 	}
 	
@@ -508,8 +508,8 @@
 	} else {
 		symbol = get_symtab_entry(symaddr);
-		printf("Calling f(0x%zx,0x%zx): %p: %s\n", 
-		       arg1, arg2, symaddr, symbol);
+		printf("Calling f(0x%zx,0x%zx): %.*p: %s\n", 
+		       arg1, arg2, sizeof(__address) * 2, symaddr, symbol);
 		f =  (__native (*)(__native,__native,...)) symaddr;
-		printf("Result: %p\n", f(arg1, arg2));
+		printf("Result: %#zx\n", f(arg1, arg2));
 	}
 	
@@ -535,8 +535,8 @@
 	} else {
 		symbol = get_symtab_entry(symaddr);
-		printf("Calling f(0x%zx,0x%zx, 0x%zx): %p: %s\n", 
-		       arg1, arg2, arg3, symaddr, symbol);
+		printf("Calling f(0x%zx,0x%zx, 0x%zx): %.*p: %s\n", 
+		       arg1, arg2, arg3, sizeof(__address) * 2, symaddr, symbol);
 		f =  (__native (*)(__native,__native,__native,...)) symaddr;
-		printf("Result: %p\n", f(arg1, arg2, arg3));
+		printf("Result: %#zx\n", f(arg1, arg2, arg3));
 	}
 	
@@ -599,5 +599,5 @@
 		if (pointer)
 			addr = (__u32 *)(*(__native *)addr);
-		printf("Writing 0x%x -> %p\n", arg1, addr);
+		printf("Writing 0x%x -> %.*p\n", arg1, sizeof(__address) * 2, addr);
 		*addr = arg1;
 		
