Jonathan A. Kollasch (jakllsch@kollasch.net) just uploaded a new patch set to gerrit, which you can find at http://review.coreboot.org/10644
-gerrit
commit 71ee63c64663b80de85a9c034c200e7e5e2ffc78 Author: Jonathan A. Kollasch jakllsch@kollasch.net Date: Tue Jun 23 10:00:41 2015 -0500
mainboard/msi/ms7135: DSDT: fix PCI and AGR interrupts
Change-Id: I0f8aeba90890a76a7cf9cbee9be7bcf919d1e39a Signed-off-by: Jonathan A. Kollasch jakllsch@kollasch.net --- src/mainboard/msi/ms7135/dsdt.asl | 34 ++++++++++++++++++++++++---------- 1 file changed, 24 insertions(+), 10 deletions(-)
diff --git a/src/mainboard/msi/ms7135/dsdt.asl b/src/mainboard/msi/ms7135/dsdt.asl index 4dbbd3d..eba0ffd 100644 --- a/src/mainboard/msi/ms7135/dsdt.asl +++ b/src/mainboard/msi/ms7135/dsdt.asl @@ -102,11 +102,6 @@ DefinitionBlock ("DSDT.aml", "DSDT", 1, "CORE ", "CB-DSDT ", 1) Package (0x04) { 0x0007FFFF, 0x00, _SB.PCI0.LSA0, 0x00 }, Package (0x04) { 0x0008FFFF, 0x00, _SB.PCI0.LSA1, 0x00 },
- Package (0x04) { 0x0009FFFF, 0x00, _SB.PCI0.LNKA, 0x00 }, - Package (0x04) { 0x0009FFFF, 0x01, _SB.PCI0.LNKB, 0x00 }, - Package (0x04) { 0x0009FFFF, 0x02, _SB.PCI0.LNKC, 0x00 }, - Package (0x04) { 0x0009FFFF, 0x03, _SB.PCI0.LNKD, 0x00 }, - Package (0x04) { 0x000AFFFF, 0x00, _SB.PCI0.LEMA, 0x00 },
Package (0x04) { 0x000BFFFF, 0x00, _SB.PCI0.LNKA, 0x00 }, @@ -135,11 +130,30 @@ DefinitionBlock ("DSDT.aml", "DSDT", 1, "CORE ", "CB-DSDT ", 1) Name (_ADR, 0x00090000) Name (_UID, 0x00) Name (_PRT, Package () { - /* AGR slot */ - Package (0x04) { 0x0000FFFF, 0x00, 0x00, 0x10 }, - Package (0x04) { 0x0000FFFF, 0x01, 0x00, 0x10 }, - Package (0x04) { 0x0000FFFF, 0x02, 0x00, 0x10 }, - Package (0x04) { 0x0000FFFF, 0x03, 0x00, 0x10 }, + /* AGR slot "AGP1" */ + Package (0x04) { 0x0000FFFF, 0x00, _SB.PCI0.LNKA, 0x00 }, + Package (0x04) { 0x0000FFFF, 0x01, _SB.PCI0.LNKA, 0x00 }, + Package (0x04) { 0x0000FFFF, 0x02, _SB.PCI0.LNKA, 0x00 }, + Package (0x04) { 0x0000FFFF, 0x03, _SB.PCI0.LNKA, 0x00 }, + + /* PCI slot "PCI1" */ + Package (0x04) { 0x0007FFFF, 0x00, _SB.PCI0.LNKB, 0x00 }, + Package (0x04) { 0x0007FFFF, 0x01, _SB.PCI0.LNKC, 0x00 }, + Package (0x04) { 0x0007FFFF, 0x02, _SB.PCI0.LNKD, 0x00 }, + /* Not sure INTD is right, but this is what the OEM BIOS does. */ + Package (0x04) { 0x0007FFFF, 0x03, _SB.PCI0.LNKE, 0x00 }, + + /* PCI slot "PCI2" */ + Package (0x04) { 0x0008FFFF, 0x00, _SB.PCI0.LNKC, 0x00 }, + Package (0x04) { 0x0008FFFF, 0x01, _SB.PCI0.LNKD, 0x00 }, + Package (0x04) { 0x0008FFFF, 0x02, _SB.PCI0.LNKA, 0x00 }, + Package (0x04) { 0x0008FFFF, 0x03, _SB.PCI0.LNKB, 0x00 }, + + /* PCI slot "PCI3" */ + Package (0x04) { 0x0009FFFF, 0x00, _SB.PCI0.LNKD, 0x00 }, + Package (0x04) { 0x0009FFFF, 0x01, _SB.PCI0.LNKA, 0x00 }, + Package (0x04) { 0x0009FFFF, 0x02, _SB.PCI0.LNKB, 0x00 }, + Package (0x04) { 0x0009FFFF, 0x03, _SB.PCI0.LNKC, 0x00 }, }) }