1 /* SPDX-License-Identifier: GPL-2.0-only */ 2 #include <acpi/acpi.h> 3 arch_fill_fadt(acpi_fadt_t * fadt)4 void arch_fill_fadt(acpi_fadt_t *fadt) 5 { 6 fadt->flags |= ACPI_FADT_HW_REDUCED_ACPI | ACPI_FADT_LOW_PWR_IDLE_S0; 7 } 8