1364     PCMachineState *pcms = PC_MACHINE(machine);  in build_dsdt()  local
1481     if (pcms->memhp_io_base && nr_mem) {  in build_dsdt()
1484                                  pcms->memhp_io_base);  in build_dsdt()
1546                 MemoryRegion *mr = &pcms->cxl_devices_state.host_mr;  in build_dsdt()
1745     if (pcms->sgx_epc.size != 0) {  in build_dsdt()
1746         uint64_t epc_base = pcms->sgx_epc.base;  in build_dsdt()
1747         uint64_t epc_size = pcms->sgx_epc.size;  in build_dsdt()
2437     PCMachineState *pcms = PC_MACHINE(machine);  in acpi_build()  local
2439     DeviceState *iommu = pcms->iommu;  in acpi_build()
2586     if (pcms->cxl_devices_state.is_enabled) {  in acpi_build()
2588                        x86ms->oem_id, x86ms->oem_table_id, &pcms->cxl_devices_state);  in acpi_build()
2689     PCMachineState *pcms = PC_MACHINE(qdev_get_machine());  in acpi_setup()  local
2690     X86MachineState *x86ms = X86_MACHINE(pcms);  in acpi_setup()
2704     if (!pcms->acpi_build_enabled) {  in acpi_setup()
2709     if (!x86_machine_is_acpi_enabled(X86_MACHINE(pcms))) {  in acpi_setup()
2717     acpi_build(&tables, MACHINE(pcms));  in acpi_setup()