printk_foo -> printk(BIOS_FOO, ...)
[coreboot.git] / src / mainboard / msi / ms7135 / get_bus_conf.c
index e2f868e56685e4a74d57a6e7c3eaab2b3b5475fb..a63c803b8e20fbab1fea0c00f674d5b53d1bc814 100644 (file)
@@ -32,6 +32,7 @@
 #endif
 
 #include <cpu/amd/amdk8_sysconf.h>
+#include <stdlib.h>
 
 /* Global variables for MB layouts and these will be shared by irqtable,
  * mptable and acpi_tables.
@@ -67,8 +68,8 @@ void get_bus_conf(void)
 
        get_bus_conf_done = 1;
 
-       sysconf.hc_possible_num = sizeof(pci1234x) / sizeof(pci1234x[0]);
-       sysconf.hc_possible_num = sizeof(pci1234x) / sizeof(pci1234x[0]);
+       sysconf.hc_possible_num = ARRAY_SIZE(pci1234x);
+       sysconf.hc_possible_num = ARRAY_SIZE(pci1234x);
        for (i = 0; i < sysconf.hc_possible_num; i++) {
                sysconf.pci1234[i] = pci1234x[i];
                sysconf.hcdn[i] = hcdnx[i];
@@ -110,8 +111,8 @@ void get_bus_conf(void)
                        for (j = bus_ck804[i]; j < bus_isa; j++)
                                bus_type[j] = 1;
                } else {
-                       printk_debug
-                           ("ERROR - could not find PCI %02x:%02x.0, using defaults\n",
+                       printk
+                           (BIOS_DEBUG, "ERROR - could not find PCI %02x:%02x.0, using defaults\n",
                             bus_ck804[0], sbdn + dn);
                        bus_isa = bus_ck804[i - 1] + 1;
                }