Use mptable_write_buses().

Remove unhelpful comment.

Signed-off-by: Jonathan Kollasch <jakllsch@kollasch.net>
Acked-by: Peter Stuge <peter@stuge.se>
git-svn-id: svn://svn.coreboot.org/coreboot/trunk@5970 2b7e53f0-3cfb-0310-b3e9-8179ed1497e1

diff --git a/src/mainboard/msi/ms7135/mptable.c b/src/mainboard/msi/ms7135/mptable.c
index 9b8f8327afb89ef94d0a2f0d8ca761a418d25a43..9c87351a6e9d21db677cafca8525b1a27be5a736 100644 (file)
--- a/src/mainboard/msi/ms7135/mptable.c
+++ b/src/mainboard/msi/ms7135/mptable.c
@@ -30,23 +30,20 @@
 
 #include <cpu/amd/amdk8_sysconf.h>
 
-extern unsigned char bus_isa;
 extern unsigned char bus_ck804[6];
 extern unsigned apicid_ck804;
 
-extern unsigned bus_type[256];
-
-
-
 static void *smp_write_config_table(void *v)
 {
        static const char sig[4] = "PCMP";
        static const char oem[8] = "COREBOOT";
        static const char productid[12] = "MS7135      ";
        struct mp_config_table *mc;
+       int bus_isa;
        unsigned sbdn;
 
-       int bus_num;
+       get_bus_conf();
+       sbdn = sysconf.sbdn;
 
        mc = (void *)(((char *)v) + SMP_FLOATING_TABLE_LEN);
        memset(mc, 0, sizeof(*mc));
@@ -66,18 +63,7 @@ static void *smp_write_config_table(void *v)
        mc->reserved = 0;
 
        smp_write_processors(mc);
-
-       get_bus_conf();
-       sbdn = sysconf.sbdn;
-
-/* Bus:                Bus ID  Type*/
-       /* define numbers for pci and isa bus */
-       for (bus_num = 0; bus_num < 256; bus_num++) {
-               if (bus_type[bus_num])
-                       smp_write_bus(mc, bus_num, "PCI   ");
-       }
-       smp_write_bus(mc, bus_isa, "ISA   ");
-
+       mptable_write_buses(mc, NULL, &bus_isa);
 
 /* I/O APICs:  APIC ID Version State           Address*/
        {
@@ -98,7 +84,6 @@ static void *smp_write_config_table(void *v)
                        /* copied from stock bios */
                        /*0x01800500,0x1800d509,0x00520d08*/
 
-                       /* if this register is what i think it is ... */
                        dword = 0x08d0d218;
                        pci_write_config32(dev, 0x7c, dword);