diff options
Diffstat (limited to 'src/mainboard/intel/jarrell/mptable.c')
| -rw-r--r-- | src/mainboard/intel/jarrell/mptable.c | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/src/mainboard/intel/jarrell/mptable.c b/src/mainboard/intel/jarrell/mptable.c index 07732198ab..f9d20f2787 100644 --- 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); } |