printk_foo -> printk(BIOS_FOO, ...)

[coreboot.git] / src / mainboard / msi / ms7260 / irq_tables.c

diff --git a/src/mainboard/msi/ms7260/irq_tables.c b/src/mainboard/msi/ms7260/irq_tables.c
index 2e7e8cc79feababe924c04272ce40d96f11e596b..b9e3b26e6cd0f6986c723c9b25209262ab5920d5 100644 (file)
--- a/src/mainboard/msi/ms7260/irq_tables.c
+++ b/src/mainboard/msi/ms7260/irq_tables.c
@@ -71,7 +71,7 @@ unsigned long write_pirq_routing_table(unsigned long addr)
        addr &= ~15;
 
        /* This table must be betweeen 0xf0000 and 0x100000. */
-       printk_info("Writing IRQ routing tables to 0x%x...", addr);
+       printk(BIOS_INFO, "Writing IRQ routing tables to 0x%x...", addr);
 
        pirq = (void *)(addr);
        v = (uint8_t *)(addr);
@@ -106,7 +106,7 @@ unsigned long write_pirq_routing_table(unsigned long addr)
        if (sum != pirq->checksum)
                pirq->checksum = sum;
 
-       printk_info("done.\n");
+       printk(BIOS_INFO, "done.\n");
 
        return (unsigned long)pirq_info;
 }