7  *   Philippe Mathieu-Daudé <philmd@redhat.com>
9  * SPDX-License-Identifier: GPL-2.0-or-later
12  * See the COPYING file in the top-level directory.
17 #include "hw/acpi/acpi.h"
18 #include "hw/acpi/aml-build.h"
73     X86CPU *cpu = X86_CPU(ms->possible_cpus->cpus[0].cpu);  in fw_cfg_build_smbios()
76     if (pcmc->smbios_defaults) {  in fw_cfg_build_smbios()
78         smbios_set_defaults("QEMU", mc->desc, mc->name);  in fw_cfg_build_smbios()
82     smbios_set_cpuid(cpu->env.cpuid_version, cpu->env.features[FEAT_1_EDX]);  in fw_cfg_build_smbios()
84     if (pcmc->smbios_legacy_mode) {  in fw_cfg_build_smbios()
111         fw_cfg_add_file(fw_cfg, "etc/smbios/smbios-tables",  in fw_cfg_build_smbios()
113         fw_cfg_add_file(fw_cfg, "etc/smbios/smbios-anchor",  in fw_cfg_build_smbios()
127     const CPUArchIdList *cpus = mc->possible_cpu_arch_ids(ms);  in fw_cfg_arch_create()
128     int nb_numa_nodes = ms->numa_state->num_nodes;  in fw_cfg_arch_create()
137      * building MPTable, ACPI MADT, ACPI CPU hotplug and ACPI SRAT table,  in fw_cfg_arch_create()
138      * that tables are based on xAPIC ID and QEMU<->SeaBIOS interface  in fw_cfg_arch_create()
144      * "etc/max-cpus" actually being apic_id_limit  in fw_cfg_arch_create()
147     fw_cfg_add_i64(fw_cfg, FW_CFG_RAM_SIZE, ms->ram_size);  in fw_cfg_arch_create()
156      * of nodes, one word for each VCPU->node and one word for each node to  in fw_cfg_arch_create()
161     for (i = 0; i < cpus->len; i++) {  in fw_cfg_arch_create()
162         unsigned int apic_id = cpus->cpus[i].arch_id;  in fw_cfg_arch_create()
164         numa_fw_cfg[apic_id + 1] = cpu_to_le64(cpus->cpus[i].props.node_id);  in fw_cfg_arch_create()
168             cpu_to_le64(ms->numa_state->nodes[i].node_mem);  in fw_cfg_arch_create()
179     X86CPU *cpu = X86_CPU(ms->possible_cpus->cpus[0].cpu);  in fw_cfg_build_feature_control()
180     CPUX86State *env = &cpu->env;  in fw_cfg_build_feature_control()
192         (env->mcg_cap & MCG_LMCE_P)) {  in fw_cfg_build_feature_control()
196     if (env->cpuid_level >= 7) {  in fw_cfg_build_feature_control()
219      * when using port i/o, the 8-bit data register *always* overlaps  in fw_cfg_add_acpi_dsdt()
220      * with half of the 16-bit control register. Hence, the total size  in fw_cfg_add_acpi_dsdt()