32x: drc: block linking
[libpicofe.git] / linux / host_dasm.c
index cd2db69..0b97821 100644 (file)
@@ -188,7 +188,7 @@ void host_dasm(void *addr, int len)
     if (name != NULL)
       printf("%s:\n", name);
 
-    printf("      %p ", (void *)(long)vma);
+    printf("     %08lx ", (long)vma);
     vma += print_insn_func(vma, &di);
     printf("\n");
   }