I just went on a bugfix frenzy and fixed all printk format warnings

[coreboot.git] / src / mainboard / amd / pistachio / irq_tables.c

diff --git a/src/mainboard/amd/pistachio/irq_tables.c b/src/mainboard/amd/pistachio/irq_tables.c
index 5a031474ce3a11cb23baf34eeb2952302c991066..c31ed2f91055dcbfe35aae54b0181dc6c7240bfa 100644 (file)
--- a/src/mainboard/amd/pistachio/irq_tables.c
+++ b/src/mainboard/amd/pistachio/irq_tables.c
@@ -73,7 +73,7 @@ unsigned long write_pirq_routing_table(unsigned long addr)
        addr &= ~15;
 
        /* This table must be betweeen 0xf0000 & 0x100000 */
-       printk_info("Writing IRQ routing tables to 0x%x...", addr);
+       printk_info("Writing IRQ routing tables to 0x%lx...", addr);
 
        pirq = (void *)(addr);
        v = (u8 *) (addr);