diff options
| author | Jonathan Kollasch <jakllsch@kollasch.net> | 2010-10-19 13:11:56 +0000 |
|---|---|---|
| committer | Jonathan A. Kollasch <jakllsch@kollasch.net> | 2010-10-19 13:11:56 +0000 |
| commit | d208c1aa2cfa2dd7da58c1f9d290310a2e10fb4a (patch) | |
| tree | f2c9688ad6691c6e586119785f5bcb49bbd75548 /src/mainboard | |
| parent | 6b0ade7550196a9e62974833a99d172618cbb56f (diff) | |
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
Diffstat (limited to 'src/mainboard')
| -rw-r--r-- | src/mainboard/msi/ms7135/mptable.c | 23 |
1 files changed, 4 insertions, 19 deletions
diff --git a/src/mainboard/msi/ms7135/mptable.c b/src/mainboard/msi/ms7135/mptable.c index 9b8f8327af..9c87351a6e 100644 --- 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); |