acpi/acpi_apic;arch/x86/acpi: better document ACPI_NO_PCAT_8259 case
Both acpi_create_madt_sci_override and acpi_sci_int have special handling for the ACPI_NO_PCAT_8259 case, but those cases weren't exactly obvious, so add a comment with the reason for that. Signed-off-by: Felix Held <felix-coreboot@felixheld.de> Change-Id: Ia6dcf59d5ab9226c61e9c4af95a73a07771b71d1 Reviewed-on: https://review.coreboot.org/c/coreboot/+/82643 Reviewed-by: Nico Huber <nico.h@gmx.de> Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
This commit is contained in:
parent
a0d453fa4d
commit
dfad318095
@ -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;
|
||||
|
||||
|
@ -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;
|
||||
|
||||
|
Loading…
x
Reference in New Issue
Block a user