| /* SPDX-License-Identifier: GPL-2.0-only */ |
| |
| #include <acpi/acpi.h> |
| #include <acpi/acpigen.h> |
| #include <arch/ioapic.h> |
| #include <arch/smp/mpspec.h> |
| #include <device/pci_ops.h> |
| #include <console/console.h> |
| #include <types.h> |
| #include <string.h> |
| #include <arch/cpu.h> |
| #include <cpu/x86/msr.h> |
| #include <cpu/intel/turbo.h> |
| #include <soc/acpi.h> |
| #include <soc/iomap.h> |
| #include <soc/lpc.h> |
| #include <soc/pci_devs.h> |
| #include <soc/pm.h> |
| #include <soc/systemagent.h> |
| #include <soc/intel/broadwell/chip.h> |
| |
| unsigned long acpi_fill_madt(unsigned long current) |
| { |
| int sci = 9; |
| acpi_madt_irqoverride_t *irqovr; |
| uint16_t flags = MP_IRQ_TRIGGER_LEVEL; |
| |
| /* Local APICs */ |
| current = acpi_create_madt_lapics(current); |
| |
| /* IOAPIC */ |
| current += acpi_create_madt_ioapic((acpi_madt_ioapic_t *)current, 2, IO_APIC_ADDR, 0); |
| |
| /* INT_SRC_OVR */ |
| irqovr = (void *)current; |
| current += acpi_create_madt_irqoverride(irqovr, 0, 0, 2, 0); |
| |
| if (sci >= 20) |
| flags |= MP_IRQ_POLARITY_LOW; |
| else |
| flags |= MP_IRQ_POLARITY_HIGH; |
| |
| /* SCI */ |
| irqovr = (void *)current; |
| current += acpi_create_madt_irqoverride(irqovr, 0, sci, sci, flags); |
| |
| return current; |
| } |