printk_foo -> printk(BIOS_FOO, ...)
[coreboot.git] / src / southbridge / nvidia / mcp55 / mcp55_fadt.c
index 212cbe6f3a28d70e8ffc9096f889f92fcd321d3e..7c7ad6954cb17250c706a84616df1d49724e33bc 100644 (file)
@@ -49,7 +49,7 @@ void acpi_create_fadt(acpi_fadt_t *fadt, acpi_facs_t *facs, void *dsdt)
        memcpy(header->asl_compiler_id, "CORE", 4);
        header->asl_compiler_revision = 42;
 
-       printk_info("ACPI: pm_base: %u...\n", pm_base);
+       printk(BIOS_INFO, "ACPI: pm_base: %u...\n", pm_base);
 
        fadt->firmware_ctrl = facs;
        fadt->dsdt = dsdt;