1 /* SPDX-License-Identifier: GPL-2.0-only */ 2 3 #include <acpi/acpi.h> 4 5 #include "../qemu-i440fx/fw_cfg.h" 6 #include "../qemu-i440fx/acpi.h" 7 mainboard_fill_fadt(acpi_fadt_t * fadt)8void mainboard_fill_fadt(acpi_fadt_t *fadt) 9 { 10 /* Do not advertise SMI even if installed. */ 11 fadt->smi_cmd = 0; 12 fadt->acpi_enable = 0; 13 fadt->acpi_disable = 0; 14 } 15