// SPDX-License-Identifier: GPL-2.0+
#include <acpi/acpi_table.h>

void acpi_fill_fadt(struct acpi_fadt *fadt)
{
}