138     X86MachineState *x86ms = X86_MACHINE(ms);  in init_common_fadt_data()  local
145         true : x86_machine_is_smm_enabled(x86ms);  in init_common_fadt_data()
1366     X86MachineState *x86ms = X86_MACHINE(machine);  in build_dsdt()  local
1378     AcpiTable table = { .sig = "DSDT", .rev = 1, .oem_id = x86ms->oem_id,  in build_dsdt()
1379                         .oem_table_id = x86ms->oem_table_id };  in build_dsdt()
1705         fw_cfg_add_acpi_dsdt(scope, x86ms->fw_cfg);  in build_dsdt()
1880     X86MachineState *x86ms = X86_MACHINE(machine);  in build_srat()  local
1884     AcpiTable table = { .sig = "SRAT", .rev = 1, .oem_id = x86ms->oem_id,  in build_srat()
1885                         .oem_table_id = x86ms->oem_table_id };  in build_srat()
1956         if (mem_base <= x86ms->below_4g_mem_size &&  in build_srat()
1957             next_base > x86ms->below_4g_mem_size) {  in build_srat()
1958             mem_len -= next_base - x86ms->below_4g_mem_size;  in build_srat()
1963             mem_base = x86ms->above_4g_mem_start;  in build_srat()
1964             mem_len = next_base - x86ms->below_4g_mem_size;  in build_srat()
2438     X86MachineState *x86ms = X86_MACHINE(machine);  in acpi_build()  local
2461         oem_id = x86ms->oem_id;  in acpi_build()
2467         oem_table_id = x86ms->oem_table_id;  in acpi_build()
2500     acpi_build_madt(tables_blob, tables->linker, x86ms,  in acpi_build()
2501                     x86ms->oem_id, x86ms->oem_table_id);  in acpi_build()
2510                        x86ms->oem_id, x86ms->oem_table_id);  in acpi_build()
2519                            tables->vmgenid, tables->linker, x86ms->oem_id);  in acpi_build()
2526                            x86ms->oem_id);  in acpi_build()
2531         build_hpet(tables_blob, tables->linker, x86ms->oem_id,  in acpi_build()
2532                    x86ms->oem_table_id);  in acpi_build()
2539                            x86ms->oem_id, x86ms->oem_table_id);  in acpi_build()
2543                        x86ms->oem_id, x86ms->oem_table_id);  in acpi_build()
2552             build_slit(tables_blob, tables->linker, machine, x86ms->oem_id,  in acpi_build()
2553                        x86ms->oem_table_id);  in acpi_build()
2558                        x86ms->oem_id, x86ms->oem_table_id);  in acpi_build()
2563         build_mcfg(tables_blob, tables->linker, &mcfg, x86ms->oem_id,  in acpi_build()
2564                    x86ms->oem_table_id);  in acpi_build()
2568         build_amd_iommu(tables_blob, tables->linker, x86ms->oem_id,  in acpi_build()
2569                         x86ms->oem_table_id);  in acpi_build()
2572         build_dmar_q35(tables_blob, tables->linker, x86ms->oem_id,  in acpi_build()
2573                        x86ms->oem_table_id);  in acpi_build()
2579                    x86ms->oem_id, x86ms->oem_table_id);  in acpi_build()
2584                           x86ms->oem_id, x86ms->oem_table_id);  in acpi_build()
2588                        x86ms->oem_id, x86ms->oem_table_id, &pcms->cxl_devices_state);  in acpi_build()
2592     build_waet(tables_blob, tables->linker, x86ms->oem_id, x86ms->oem_table_id);  in acpi_build()
2611             .oem_id = x86ms->oem_id,  in acpi_build()
2690     X86MachineState *x86ms = X86_MACHINE(pcms);  in acpi_setup()  local
2699     if (!x86ms->fw_cfg) {  in acpi_setup()
2730     fw_cfg_add_file(x86ms->fw_cfg, ACPI_BUILD_TPMLOG_FILE,  in acpi_setup()
2740         fw_cfg_add_file(x86ms->fw_cfg, "etc/tpm/config",  in acpi_setup()
2747         vmgenid_add_fw_cfg(VMGENID(vmgenid_dev), x86ms->fw_cfg,  in acpi_setup()