printk_foo -> printk(BIOS_FOO, ...)
[coreboot.git] / src / mainboard / nvidia / l1_2pvv / irq_tables.c
index 398f805ef098b28c13830b620447ac004649e9e1..b82293e5496976bf9424305dabc6924a22f690ec 100644 (file)
@@ -76,7 +76,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 = (uint8_t *)(addr);
@@ -122,7 +122,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;