1 /* SPDX-License-Identifier: GPL-2.0-only */ 2 3 #include <acpi/acpi.h> 4 #include <intelblocks/acpi.h> 5 mainboard_fill_fadt(acpi_fadt_t * fadt)6void mainboard_fill_fadt(acpi_fadt_t *fadt) 7 { 8 fadt->preferred_pm_profile = PM_ENTERPRISE_SERVER; 9 } 10