printk_foo -> printk(BIOS_FOO, ...)
[coreboot.git] / src / mainboard / ibm / e325 / mptable.c
index 6ad8b945b45cbbf999f2203f9fbc06e9bf7b3dc3..dc5cc429bf6431f9f552a1b9a8b6d59942d454ae 100644 (file)
@@ -48,7 +48,7 @@ void *smp_write_config_table(void *v)
                        bus_isa    = pci_read_config8(dev, PCI_SUBORDINATE_BUS);
                        bus_isa++;
                } else {
-                       printk_debug("ERROR - could not find PCI 1:03.0, using defaults\n");
+                       printk(BIOS_DEBUG, "ERROR - could not find PCI 1:03.0, using defaults\n");
                        bus_8111_1 = 4;
                        bus_isa = 5;
                }
@@ -59,7 +59,7 @@ void *smp_write_config_table(void *v)
                        bus_8131_1 = pci_read_config8(dev, PCI_SECONDARY_BUS);
 
                } else {
-                       printk_debug("ERROR - could not find PCI 1:01.0, using defaults\n");
+                       printk(BIOS_DEBUG, "ERROR - could not find PCI 1:01.0, using defaults\n");
                        bus_8131_1 = 2;
                }
 
@@ -68,7 +68,7 @@ void *smp_write_config_table(void *v)
                if (dev) {
                        bus_8131_2 = pci_read_config8(dev, PCI_SECONDARY_BUS);
                } else {
-                       printk_debug("ERROR - could not find PCI 1:02.0, using defaults\n");
+                       printk(BIOS_DEBUG, "ERROR - could not find PCI 1:02.0, using defaults\n");
                        bus_8131_2 = 3;
                }
        }
@@ -161,7 +161,7 @@ void *smp_write_config_table(void *v)
        /* Compute the checksums */
        mc->mpe_checksum = smp_compute_checksum(smp_next_mpc_entry(mc), mc->mpe_length);
        mc->mpc_checksum = smp_compute_checksum(mc, mc->mpc_length);
-       printk_debug("Wrote the mp table end at: %p - %p\n",
+       printk(BIOS_DEBUG, "Wrote the mp table end at: %p - %p\n",
                     mc, smp_next_mpe_entry(mc));
        return smp_next_mpe_entry(mc);
 }