Lines Matching refs:x86ms
57 static void x86_cpu_new(X86MachineState *x86ms, int64_t apic_id, Error **errp) in x86_cpu_new() argument
59 Object *cpu = object_new(MACHINE(x86ms)->cpu_type); in x86_cpu_new()
70 void x86_cpus_init(X86MachineState *x86ms, int default_cpu_version) in x86_cpus_init() argument
74 MachineState *ms = MACHINE(x86ms); in x86_cpus_init()
75 MachineClass *mc = MACHINE_GET_CLASS(x86ms); in x86_cpus_init()
87 x86ms->apic_id_limit = x86_cpu_apic_id_from_index(x86ms, in x86_cpus_init()
98 if (kvm_enabled() && x86ms->apic_id_limit > 255 && in x86_cpus_init()
106 kvm_set_max_apic_id(x86ms->apic_id_limit); in x86_cpus_init()
110 apic_set_max_apic_id(x86ms->apic_id_limit); in x86_cpus_init()
115 x86_cpu_new(x86ms, possible_cpus->cpus[i].arch_id, &error_fatal); in x86_cpus_init()
168 X86MachineState *x86ms = X86_MACHINE(hotplug_dev); in x86_cpu_plug() local
170 if (x86ms->acpi_dev) { in x86_cpu_plug()
171 hotplug_handler_plug(x86ms->acpi_dev, dev, &local_err); in x86_cpu_plug()
178 x86ms->boot_cpus++; in x86_cpu_plug()
179 if (x86ms->rtc) { in x86_cpu_plug()
180 x86_rtc_set_cpus_count(x86ms->rtc, x86ms->boot_cpus); in x86_cpu_plug()
182 if (x86ms->fw_cfg) { in x86_cpu_plug()
183 fw_cfg_modify_i16(x86ms->fw_cfg, FW_CFG_NB_CPUS, x86ms->boot_cpus); in x86_cpu_plug()
186 found_cpu = x86_find_cpu_slot(MACHINE(x86ms), cpu->apic_id, NULL); in x86_cpu_plug()
197 X86MachineState *x86ms = X86_MACHINE(hotplug_dev); in x86_cpu_unplug_request_cb() local
199 if (!x86ms->acpi_dev) { in x86_cpu_unplug_request_cb()
204 x86_find_cpu_slot(MACHINE(x86ms), cpu->apic_id, &idx); in x86_cpu_unplug_request_cb()
211 hotplug_handler_unplug_request(x86ms->acpi_dev, dev, in x86_cpu_unplug_request_cb()
221 X86MachineState *x86ms = X86_MACHINE(hotplug_dev); in x86_cpu_unplug_cb() local
223 hotplug_handler_unplug(x86ms->acpi_dev, dev, &local_err); in x86_cpu_unplug_cb()
228 found_cpu = x86_find_cpu_slot(MACHINE(x86ms), cpu->apic_id, NULL); in x86_cpu_unplug_cb()
233 x86ms->boot_cpus--; in x86_cpu_unplug_cb()
235 x86_rtc_set_cpus_count(x86ms->rtc, x86ms->boot_cpus); in x86_cpu_unplug_cb()
236 fw_cfg_modify_i16(x86ms->fw_cfg, FW_CFG_NB_CPUS, x86ms->boot_cpus); in x86_cpu_unplug_cb()
251 X86MachineState *x86ms = X86_MACHINE(hotplug_dev); in x86_cpu_pre_plug() local
260 if (x86ms->acpi_dev) { in x86_cpu_pre_plug()
263 hotplug_handler_pre_plug(HOTPLUG_HANDLER(x86ms->acpi_dev), dev, in x86_cpu_pre_plug()
271 init_topo_info(topo_info, x86ms); in x86_cpu_pre_plug()
351 cpu_slot = x86_find_cpu_slot(MACHINE(x86ms), cpu->apic_id, &idx); in x86_cpu_pre_plug()
633 void x86_load_linux(X86MachineState *x86ms, in x86_load_linux() argument
638 bool linuxboot_dma_enabled = X86_MACHINE_GET_CLASS(x86ms)->fwcfg_dma_enabled; in x86_load_linux()
647 MachineState *machine = MACHINE(x86ms); in x86_load_linux()
689 if (load_multiboot(x86ms, fw_cfg, f, kernel_filename, initrd_filename, in x86_load_linux()
726 x86ms->initrd_mapped_file = mapped_file; in x86_load_linux()
730 initrd_max = x86ms->below_4g_mem_size - acpi_data_size - 1; in x86_load_linux()
798 if (initrd_max >= x86ms->below_4g_mem_size - acpi_data_size) { in x86_load_linux()
799 initrd_max = x86ms->below_4g_mem_size - acpi_data_size - 1; in x86_load_linux()
872 x86ms->initrd_mapped_file = mapped_file; in x86_load_linux()
1016 void x86_bios_rom_init(X86MachineState *x86ms, const char *default_firmware, in x86_bios_rom_init() argument
1025 bios_name = MACHINE(x86ms)->firmware ?: default_firmware; in x86_bios_rom_init()
1036 if (machine_require_guest_memfd(MACHINE(x86ms))) { in x86_bios_rom_init()
1037 memory_region_init_ram_guest_memfd(&x86ms->bios, NULL, "pc.bios", in x86_bios_rom_init()
1040 tdx_set_tdvf_region(&x86ms->bios); in x86_bios_rom_init()
1043 memory_region_init_ram(&x86ms->bios, NULL, "pc.bios", in x86_bios_rom_init()
1054 void *ptr = memory_region_get_ram_ptr(&x86ms->bios); in x86_bios_rom_init()
1058 memory_region_set_readonly(&x86ms->bios, !isapc_ram_fw); in x86_bios_rom_init()
1066 if (!machine_require_guest_memfd(MACHINE(x86ms))) { in x86_bios_rom_init()
1068 x86_isa_bios_init(&x86ms->isa_bios, rom_memory, &x86ms->bios, in x86_bios_rom_init()
1075 &x86ms->bios); in x86_bios_rom_init()