printk_foo -> printk(BIOS_FOO, ...)

[coreboot.git] / src / mainboard / supermicro / x6dhr_ig2 / mptable.c

diff --git a/src/mainboard/supermicro/x6dhr_ig2/mptable.c b/src/mainboard/supermicro/x6dhr_ig2/mptable.c
index 61ece13f5a3786c3faf66111ce0cb398e0258e12..f71114446eacd92177036e600a619243e2538fa6 100644 (file)
--- a/src/mainboard/supermicro/x6dhr_ig2/mptable.c
+++ b/src/mainboard/supermicro/x6dhr_ig2/mptable.c
@@ -48,7 +48,7 @@ void *smp_write_config_table(void *v)
                        bus_isa++;
                }
                else {
-                       printk_debug("ERROR - could not find PCI 0:1e.0, using defaults\n");
+                       printk(BIOS_DEBUG, "ERROR - could not find PCI 0:1e.0, using defaults\n");
 
                        bus_ich5r_1 = 7;
                        bus_isa = 8;
@@ -60,7 +60,7 @@ void *smp_write_config_table(void *v)
 
                }
                else {
-                       printk_debug("ERROR - could not find PCI 1:00.0, using defaults\n");
+                       printk(BIOS_DEBUG, "ERROR - could not find PCI 1:00.0, using defaults\n");
 
                        bus_pxhd_1 = 2;
                }
@@ -71,7 +71,7 @@ void *smp_write_config_table(void *v)
 
                }
                else {
-                       printk_debug("ERROR - could not find PCI 1:00.2, using defaults\n");
+                       printk(BIOS_DEBUG, "ERROR - could not find PCI 1:00.2, using defaults\n");
 
                        bus_pxhd_2 = 3;
                }
@@ -83,7 +83,7 @@ void *smp_write_config_table(void *v)
 
                }
                else {
-                       printk_debug("ERROR - could not find PCI 0:04.0, using defaults\n");
+                       printk(BIOS_DEBUG, "ERROR - could not find PCI 0:04.0, using defaults\n");
 
                        bus_pxhd_3 = 5;
                }
@@ -94,7 +94,7 @@ void *smp_write_config_table(void *v)
 
                }
                else {
-                       printk_debug("ERROR - could not find PCI 0:06.0, using defaults\n");
+                       printk(BIOS_DEBUG, "ERROR - could not find PCI 0:06.0, using defaults\n");
 
                        bus_pxhd_4 = 6;
                }
@@ -122,7 +122,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));
@@ -133,7 +133,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");
                }
        }       
        /* ISA backward compatibility interrupts  */
@@ -205,7 +205,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);
 }