| /* |
| * QEMU fw_cfg helpers (X86 specific) |
| * |
| * Copyright (c) 2003-2004 Fabrice Bellard |
| * |
| * SPDX-License-Identifier: MIT |
| */ |
| |
| #ifndef HW_I386_FW_CFG_H |
| #define HW_I386_FW_CFG_H |
| |
| #include "hw/boards.h" |
| #include "hw/i386/pc.h" |
| #include "hw/nvram/fw_cfg.h" |
| |
| #define FW_CFG_IO_BASE 0x510 |
| |
| #define FW_CFG_ACPI_TABLES (FW_CFG_ARCH_LOCAL + 0) |
| #define FW_CFG_SMBIOS_ENTRIES (FW_CFG_ARCH_LOCAL + 1) |
| #define FW_CFG_IRQ0_OVERRIDE (FW_CFG_ARCH_LOCAL + 2) |
| #define FW_CFG_HPET (FW_CFG_ARCH_LOCAL + 4) |
| |
| FWCfgState *fw_cfg_arch_create(MachineState *ms, |
| uint16_t boot_cpus, |
| uint16_t apic_id_limit); |
| void fw_cfg_build_smbios(PCMachineState *pcms, FWCfgState *fw_cfg, |
| SmbiosEntryPointType ep_type); |
| void fw_cfg_build_feature_control(MachineState *ms, FWCfgState *fw_cfg); |
| void fw_cfg_add_acpi_dsdt(Aml *scope, FWCfgState *fw_cfg); |
| |
| #endif |