blob: 6dccc3044a048a6a3c2da458de770de9b149468c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
/* SPDX-License-Identifier: GPL-2.0-only */
/* This file is part of the coreboot project. */
#ifndef _SOC_ACPI_H_
#define _SOC_ACPI_H_
#include <acpi/acpi.h>
#include <acpi/acpigen.h>
void acpi_fill_in_fadt(acpi_fadt_t *fadt);
#endif /* _SOC_ACPI_H_ */
|