diff options
| -rw-r--r-- | src/acpi/acpi_apic.c | 2 | ||||
| -rw-r--r-- | src/arch/x86/acpi.c | 3 |
2 files changed, 4 insertions, 1 deletions
diff --git a/src/acpi/acpi_apic.c b/src/acpi/acpi_apic.c index b47586dedc..fe0459b559 100644 --- a/src/acpi/acpi_apic.c +++ b/src/acpi/acpi_apic.c @@ -127,6 +127,8 @@ static int acpi_create_madt_sci_override(acpi_madt_irqoverride_t *irqoverride) ioapic_get_sci_pin(&gsi, &irq, &flags); + /* In systems without 8259, the SCI_INT field in the FADT contains the SCI GSI number + instead of the 8259 IRQ number */ if (!CONFIG(ACPI_HAVE_PCAT_8259)) irq = gsi; diff --git a/src/arch/x86/acpi.c b/src/arch/x86/acpi.c index 2497143680..82cbf205a7 100644 --- a/src/arch/x86/acpi.c +++ b/src/arch/x86/acpi.c @@ -12,7 +12,8 @@ static u16 acpi_sci_int(void) ioapic_get_sci_pin(&gsi, &irq, &flags); - /* ACPI Release 6.5, 5.2.9 and 5.2.15.5. */ + /* In systems without 8259, the SCI_INT field in the FADT contains the SCI GSI number + instead of the 8259 IRQ number */ if (!CONFIG(ACPI_HAVE_PCAT_8259)) return gsi; |