src/mainboard/ocp/deltalake/fadt.c

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