Drop 'include <string.h>' when it is not used and add it when it is missing. Also extra lines removed, or added just before local includes. Change-Id: Iccac4dbaa2dd4144fc347af36ecfc9747da3de20 Signed-off-by: Elyes HAOUAS <ehaouas@noos.fr> Reviewed-on: https://review.coreboot.org/c/coreboot/+/31966 Tested-by: build bot (Jenkins) <no-reply@coreboot.org> Reviewed-by: Werner Zeh <werner.zeh@siemens.com> Reviewed-by: Kyösti Mälkki <kyosti.malkki@gmail.com>
59 lines
1.9 KiB
C
59 lines
1.9 KiB
C
/*
|
|
* This file is part of the coreboot project.
|
|
*
|
|
* Copyright (C) 2007-2009 coresystems GmbH
|
|
* Copyright (C) 2013 Vladimir Serbinenko <phcoder@gmail.com>
|
|
*
|
|
* This program is free software; you can redistribute it and/or
|
|
* modify it under the terms of the GNU General Public License as
|
|
* published by the Free Software Foundation; version 2 of
|
|
* the License.
|
|
*
|
|
* This program is distributed in the hope that it will be useful,
|
|
* but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
* GNU General Public License for more details.
|
|
*/
|
|
|
|
#include <arch/ioapic.h>
|
|
#include <arch/acpi.h>
|
|
#include <arch/smp/mpspec.h>
|
|
#include <device/device.h>
|
|
#include <device/pci.h>
|
|
|
|
unsigned long acpi_fill_madt(unsigned long current)
|
|
{
|
|
/* Local APICs */
|
|
current = acpi_create_madt_lapics(current);
|
|
|
|
/* IOAPIC */
|
|
current += acpi_create_madt_ioapic((acpi_madt_ioapic_t *) current,
|
|
1, IO_APIC_ADDR, 0);
|
|
|
|
/* INT_SRC_OVR */
|
|
current += acpi_create_madt_irqoverride((acpi_madt_irqoverride_t *)
|
|
current, 0, 0, 2,
|
|
MP_IRQ_POLARITY_DEFAULT |
|
|
MP_IRQ_TRIGGER_DEFAULT);
|
|
current += acpi_create_madt_irqoverride((acpi_madt_irqoverride_t *)
|
|
current, 0, 9, 9,
|
|
MP_IRQ_POLARITY_HIGH |
|
|
MP_IRQ_TRIGGER_LEVEL);
|
|
|
|
/* LAPIC_NMI */
|
|
current += acpi_create_madt_lapic_nmi((acpi_madt_lapic_nmi_t *)
|
|
current, 0,
|
|
MP_IRQ_POLARITY_HIGH |
|
|
MP_IRQ_TRIGGER_EDGE, 0x01);
|
|
current += acpi_create_madt_lapic_nmi((acpi_madt_lapic_nmi_t *)
|
|
current, 1, MP_IRQ_POLARITY_HIGH |
|
|
MP_IRQ_TRIGGER_EDGE, 0x01);
|
|
current += acpi_create_madt_lapic_nmi((acpi_madt_lapic_nmi_t *)
|
|
current, 2, MP_IRQ_POLARITY_HIGH |
|
|
MP_IRQ_TRIGGER_EDGE, 0x01);
|
|
current += acpi_create_madt_lapic_nmi((acpi_madt_lapic_nmi_t *)
|
|
current, 3, MP_IRQ_POLARITY_HIGH |
|
|
MP_IRQ_TRIGGER_EDGE, 0x01);
|
|
return current;
|
|
}
|