Fix some more printf() format problems.
authorKumar Gala <galak@kernel.crashing.org>
Mon, 14 Jul 2008 19:03:02 +0000 (14:03 -0500)
committerWolfgang Denk <wd@denx.de>
Mon, 14 Jul 2008 21:01:01 +0000 (23:01 +0200)
Signed-off-by: Kumar Gala <galak@kernel.crashing.org>
common/cmd_mp.c
cpu/mpc85xx/mp.c

index 26a57c5e96c7ae00d8cad546710f0e409d1dbdf6..b2a397cdfbd23cae642b60ee34f85ce9fc45af6d 100644 (file)
@@ -35,7 +35,7 @@ cpu_cmd(cmd_tbl_t *cmdtp, int flag, int argc, char *argv[])
 
        cpuid = simple_strtoul(argv[1], NULL, 10);
        if (cpuid >= CONFIG_NR_CPUS) {
-               printf ("Core num: %d is out of range[0..%d]\n",
+               printf ("Core num: %lu is out of range[0..%d]\n",
                                cpuid, CONFIG_NR_CPUS - 1);
                return 1;
        }
index a527cf3047ad76eeb9f1904ab1c6091922554cb0..554830f46a08de46992e7d00605d4985b7b98f1d 100644 (file)
@@ -50,12 +50,12 @@ int cpu_status(int nr)
 
        if (nr == id) {
                table = (u32 *)get_spin_addr();
-               printf("table base @ 0x%08x\n", table);
+               printf("table base @ 0x%p\n", table);
        } else {
                table = (u32 *)get_spin_addr() + nr * NUM_BOOT_ENTRY;
                printf("Running on cpu %d\n", id);
                printf("\n");
-               printf("table @ 0x%08x:\n", table);
+               printf("table @ 0x%p\n", table);
                printf("   addr - 0x%08x\n", table[BOOT_ENTRY_ADDR_LOWER]);
                printf("   pir  - 0x%08x\n", table[BOOT_ENTRY_PIR]);
                printf("   r3   - 0x%08x\n", table[BOOT_ENTRY_R3_LOWER]);