diff options
| -rw-r--r-- | src/arch/i386/boot/pirq_routing.c | 2 | ||||
| -rw-r--r-- | src/boot/elfboot.c | 2 | ||||
| -rw-r--r-- | util/vgabios/x86emu/src/x86emu/sys.c | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/src/arch/i386/boot/pirq_routing.c b/src/arch/i386/boot/pirq_routing.c index 6b4e75f0ad..7f9d0924a1 100644 --- a/src/arch/i386/boot/pirq_routing.c +++ b/src/arch/i386/boot/pirq_routing.c @@ -25,7 +25,7 @@ static void check_pirq_routing_table(struct irq_routing_table *rt) for (i = 0; i < rt->size; i++) sum += addr[i]; - printk_debug("%s(): Interrupt Routing Table located at 0x%p.\n", + printk_debug("%s(): Interrupt Routing Table located at %p.\n", __FUNCTION__, addr); diff --git a/src/boot/elfboot.c b/src/boot/elfboot.c index 7caa4673fa..33baee3fe9 100644 --- a/src/boot/elfboot.c +++ b/src/boot/elfboot.c @@ -590,7 +590,7 @@ int elfload(struct lb_memory *mem, /* Reset to booting from this image as late as possible */ boot_successful(); - printk_debug("Jumping to boot code at 0x%p\n", entry); + printk_debug("Jumping to boot code at %p\n", entry); post_code(0xfe); /* Jump to kernel */ diff --git a/util/vgabios/x86emu/src/x86emu/sys.c b/util/vgabios/x86emu/src/x86emu/sys.c index aca28c7d77..ae4c5daba3 100644 --- a/util/vgabios/x86emu/src/x86emu/sys.c +++ b/util/vgabios/x86emu/src/x86emu/sys.c @@ -196,7 +196,7 @@ u8 *mem_ptr(u32 addr, int size) //printk("It's a0000\n"); addr &= ~0xfffe0000; retaddr = (u8 *) (M.abseg + addr); - //printk("retaddr now 0x%p\n", retaddr); + //printk("retaddr now %p\n", retaddr); } else if (addr < 0x200) { printk("updating int vector 0x%x\n", addr >> 2); retaddr = (u8 *) (M.mem_base + addr); |