printk_foo -> printk(BIOS_FOO, ...)

[coreboot.git] / src / mainboard / technexion / tim8690 / irq_tables.c

diff --git a/src/mainboard/technexion/tim8690/irq_tables.c b/src/mainboard/technexion/tim8690/irq_tables.c
index 38479aac14a2f6753440b24d731fd84380e33410..84577457245a43c661a34116567ae5ea42ebc032 100644 (file)
--- a/src/mainboard/technexion/tim8690/irq_tables.c
+++ b/src/mainboard/technexion/tim8690/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%lx...", addr);
+       printk(BIOS_INFO, "Writing IRQ routing tables to 0x%lx...", addr);
 
        pirq = (void *)(addr);
        v = (u8 *) (addr);
@@ -113,7 +113,7 @@ unsigned long write_pirq_routing_table(unsigned long addr)
                pirq->checksum = sum;
        }
 
-       printk_info("write_pirq_routing_table done.\n");
+       printk(BIOS_INFO, "write_pirq_routing_table done.\n");
 
        return (unsigned long)pirq_info;
 }