printk_foo -> printk(BIOS_FOO, ...)
[coreboot.git] / src / mainboard / supermicro / h8dmr_fam10 / irq_tables.c
index 82a53c17055a0d9ff4c686582910a770ed921861..e9bf8c46f7958fd47560789fcd4602c2fd8a4348 100644 (file)
@@ -76,7 +76,7 @@ unsigned long write_pirq_routing_table(unsigned long addr)
        addr &= ~15;
 
        /* This table must be between 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 = (uint8_t *)(addr);
@@ -131,7 +131,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;