blob: 9f18039c32c5880fc36156bd4821e1672efee1c1 (
plain)
1
2
3
4
5
6
7
8
9
10
|
/* SPDX-License-Identifier: GPL-2.0-only */
/* This file is part of the coreboot project. */
#include <arch/acpi.h>
unsigned long acpi_fill_madt(unsigned long current)
{
/* mainboard has no ioapic */
return current;
}
|