From 42e5f649ede7c931b25feb854b3f78dffc1e5d15 Mon Sep 17 00:00:00 2001 From: Stefan Reinauer Date: Wed, 9 Jun 2010 19:07:19 +0000 Subject: [PATCH] The interrupt controller lives at I/O 0x4d0/0x4d1. However on these platforms we were causing a resource conflict by letting the resource allocator start allocations at 0x400. Change the constraints to start at 0x1000 so we avoid allocating over LPT ports (0x778-0x77f), PCI (0xcf8-0xcff) and some other fixed resources that might live down there (smbus base, acpi base,...) Signed-off-by: Stefan Reinauer Acked-by: Myles Watson git-svn-id: svn://svn.coreboot.org/coreboot/trunk@5624 2b7e53f0-3cfb-0310-b3e9-8179ed1497e1 --- src/southbridge/amd/cs5530/cs5530_isa.c | 2 +- src/southbridge/via/vt8231/vt8231_lpc.c | 2 +- src/southbridge/via/vt8235/vt8235_lpc.c | 4 ++-- 3 files changed, 4 insertions(+), 4 deletions(-) diff --git a/src/southbridge/amd/cs5530/cs5530_isa.c b/src/southbridge/amd/cs5530/cs5530_isa.c index ad41bd20cd..c949cbf681 100644 --- a/src/southbridge/amd/cs5530/cs5530_isa.c +++ b/src/southbridge/amd/cs5530/cs5530_isa.c @@ -33,7 +33,7 @@ static void cs5530_read_resources(device_t dev) res = new_resource(dev, 1); res->base = 0x0UL; - res->size = 0x400UL; + res->size = 0x1000UL; res->limit = 0xffffUL; res->flags = IORESOURCE_IO | IORESOURCE_ASSIGNED | IORESOURCE_FIXED; diff --git a/src/southbridge/via/vt8231/vt8231_lpc.c b/src/southbridge/via/vt8231/vt8231_lpc.c index c874528dec..fadbcf2fb7 100644 --- a/src/southbridge/via/vt8231/vt8231_lpc.c +++ b/src/southbridge/via/vt8231/vt8231_lpc.c @@ -136,7 +136,7 @@ static void vt8231_read_resources(device_t dev) res = new_resource(dev, 1); res->base = 0x0UL; - res->size = 0x400UL; + res->size = 0x1000UL; res->limit = 0xffffUL; res->flags = IORESOURCE_IO | IORESOURCE_ASSIGNED | IORESOURCE_FIXED; diff --git a/src/southbridge/via/vt8235/vt8235_lpc.c b/src/southbridge/via/vt8235/vt8235_lpc.c index e2bfc3681e..153c405513 100644 --- a/src/southbridge/via/vt8235/vt8235_lpc.c +++ b/src/southbridge/via/vt8235/vt8235_lpc.c @@ -110,7 +110,7 @@ static void setup_pm(device_t dev) // Set gen config 0 pci_write_config8(dev, 0x80, 0x20); - // Set ACPI base address to IO 0x4000 + // Set ACPI base address to IO 0x400 pci_write_config16(dev, 0x88, 0x0401); // set ACPI irq to 5 @@ -223,7 +223,7 @@ static void vt8235_read_resources(device_t dev) res = new_resource(dev, 1); res->base = 0x0UL; - res->size = 0x400UL; + res->size = 0x1000UL; res->limit = 0xffffUL; res->flags = IORESOURCE_IO | IORESOURCE_ASSIGNED | IORESOURCE_FIXED;