printk_foo -> printk(BIOS_FOO, ...)

[coreboot.git] / src / mainboard / intel / jarrell / mptable.c

diff --git a/src/mainboard/intel/jarrell/mptable.c b/src/mainboard/intel/jarrell/mptable.c
index 07732198ab210b06fe21ac3110400adbb3a66e26..f9d20f27873334aab736575b263655b452b33ba5 100644 (file)
--- a/src/mainboard/intel/jarrell/mptable.c
+++ b/src/mainboard/intel/jarrell/mptable.c
@@ -50,7 +50,7 @@ void *smp_write_config_table(void *v)
                        bus_isa++;
                }
                else {
-                       printk_debug("ERROR - could not find PCI 0:1f.0, using defaults\n");
+                       printk(BIOS_DEBUG, "ERROR - could not find PCI 0:1f.0, using defaults\n");
 
                        bus_ich5r_1 = 4;
                        bus_isa = 5;
@@ -62,7 +62,7 @@ void *smp_write_config_table(void *v)
 
                }
                else {
-                       printk_debug("ERROR - could not find PCI 1:00.1, using defaults\n");
+                       printk(BIOS_DEBUG, "ERROR - could not find PCI 1:00.1, using defaults\n");
 
                        bus_pxhd_1 = 2;
                }
@@ -73,7 +73,7 @@ void *smp_write_config_table(void *v)
 
                }
                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_pxhd_2 = 3;
                }
@@ -124,7 +124,7 @@ void *smp_write_config_table(void *v)
                        }
                }
                else {
-                       printk_debug("ERROR - could not find IOAPIC PCI 1:00.1\n");
+                       printk(BIOS_DEBUG, "ERROR - could not find IOAPIC PCI 1:00.1\n");
                }
                /* pxhd apic 4 */
                dev = dev_find_slot(1, PCI_DEVFN(0x00,3));
@@ -135,7 +135,7 @@ void *smp_write_config_table(void *v)
                        }
                }
                else {
-                       printk_debug("ERROR - could not find IOAPIC PCI 1:00.3\n");
+                       printk(BIOS_DEBUG, "ERROR - could not find IOAPIC PCI 1:00.3\n");
                }
                /* pxhd apic 5 */
                if(bus_pxhd_3) { /* Active riser pxhd */
@@ -147,7 +147,7 @@ void *smp_write_config_table(void *v)
                                }
                        }
                        else {
-                               printk_debug("ERROR - could not find IOAPIC PCI %d:00.1\n",bus_pxhd_x);
+                               printk(BIOS_DEBUG, "ERROR - could not find IOAPIC PCI %d:00.1\n",bus_pxhd_x);
                        }
                }
                /* pxhd apic 6 */
@@ -160,7 +160,7 @@ void *smp_write_config_table(void *v)
                                }
                        }
                        else {
-                               printk_debug("ERROR - could not find IOAPIC PCI %d:00.3\n",bus_pxhd_x);
+                               printk(BIOS_DEBUG, "ERROR - could not find IOAPIC PCI %d:00.3\n",bus_pxhd_x);
                        }
                }
        }
@@ -279,7 +279,7 @@ void *smp_write_config_table(void *v)
        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);
 }