summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorJonathan Kollasch <jakllsch@kollasch.net>2010-10-19 13:11:56 +0000
committerJonathan A. Kollasch <jakllsch@kollasch.net>2010-10-19 13:11:56 +0000
commitd208c1aa2cfa2dd7da58c1f9d290310a2e10fb4a (patch)
treef2c9688ad6691c6e586119785f5bcb49bbd75548 /src
parent6b0ade7550196a9e62974833a99d172618cbb56f (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')
-rw-r--r--src/mainboard/msi/ms7135/mptable.c23
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);