printk_foo -> printk(BIOS_FOO, ...)
[coreboot.git] / src / mainboard / amd / serengeti_cheetah_fam10 / irq_tables.c
index de8eacde6b5ae412dbe30cc4303c9ea9cbc4c413..7cd5945f956d75e745f2f35d42d5f7612cdbf04d 100644 (file)
@@ -70,7 +70,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(BIOS_INFO, "Writing IRQ routing tables to 0x%x...", addr);
 
        pirq = (void *)(addr);
        v = (u8 *)(addr);
@@ -137,7 +137,7 @@ unsigned long write_pirq_routing_table(unsigned long addr)
                pirq->checksum = sum;
        }
 
-       printk_info("done.\n");
+       printk(BIOS_INFO, "done.\n");
 
        return  (unsigned long) pirq_info;