]>
Commit | Line | Data |
---|---|---|
845773ab IY |
1 | /* |
2 | * QEMU PC System Emulator | |
3 | * | |
4 | * Copyright (c) 2003-2004 Fabrice Bellard | |
5 | * | |
6 | * Permission is hereby granted, free of charge, to any person obtaining a copy | |
7 | * of this software and associated documentation files (the "Software"), to deal | |
8 | * in the Software without restriction, including without limitation the rights | |
9 | * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell | |
10 | * copies of the Software, and to permit persons to whom the Software is | |
11 | * furnished to do so, subject to the following conditions: | |
12 | * | |
13 | * The above copyright notice and this permission notice shall be included in | |
14 | * all copies or substantial portions of the Software. | |
15 | * | |
16 | * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR | |
17 | * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, | |
18 | * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL | |
19 | * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER | |
20 | * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, | |
21 | * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN | |
22 | * THE SOFTWARE. | |
23 | */ | |
24 | ||
ae0a5466 AK |
25 | #include <glib.h> |
26 | ||
83c9f4ca | 27 | #include "hw/hw.h" |
04920fc0 | 28 | #include "hw/loader.h" |
0d09e41a PB |
29 | #include "hw/i386/pc.h" |
30 | #include "hw/i386/apic.h" | |
b29ad07e | 31 | #include "hw/i386/smbios.h" |
83c9f4ca PB |
32 | #include "hw/pci/pci.h" |
33 | #include "hw/pci/pci_ids.h" | |
34 | #include "hw/usb.h" | |
1422e32d | 35 | #include "net/net.h" |
83c9f4ca PB |
36 | #include "hw/boards.h" |
37 | #include "hw/ide.h" | |
9c17d615 | 38 | #include "sysemu/kvm.h" |
83c9f4ca | 39 | #include "hw/kvm/clock.h" |
9c17d615 | 40 | #include "sysemu/sysemu.h" |
83c9f4ca | 41 | #include "hw/sysbus.h" |
f0513d2c | 42 | #include "hw/cpu/icc_bus.h" |
9c17d615 | 43 | #include "sysemu/arch_init.h" |
4be74634 | 44 | #include "sysemu/block-backend.h" |
0d09e41a PB |
45 | #include "hw/i2c/smbus.h" |
46 | #include "hw/xen/xen.h" | |
022c62cb PB |
47 | #include "exec/memory.h" |
48 | #include "exec/address-spaces.h" | |
0445259b | 49 | #include "hw/acpi/acpi.h" |
dc59944b | 50 | #include "cpu.h" |
c87b1520 | 51 | #include "qemu/error-report.h" |
29d3ccde AP |
52 | #ifdef CONFIG_XEN |
53 | # include <xen/hvm/hvm_info_table.h> | |
54 | #endif | |
37fb569c | 55 | #include "migration/migration.h" |
845773ab IY |
56 | |
57 | #define MAX_IDE_BUS 2 | |
58 | ||
59 | static const int ide_iobase[MAX_IDE_BUS] = { 0x1f0, 0x170 }; | |
60 | static const int ide_iobase2[MAX_IDE_BUS] = { 0x3f6, 0x376 }; | |
61 | static const int ide_irq[MAX_IDE_BUS] = { 14, 15 }; | |
62 | ||
72d164aa | 63 | static bool pci_enabled = true; |
72c194f7 | 64 | static bool has_acpi_build = true; |
384fb32e | 65 | static bool rsdp_in_ram = true; |
07fb6176 | 66 | static int legacy_acpi_table_size; |
e6667f71 | 67 | static bool smbios_defaults = true; |
c97294ec | 68 | static bool smbios_legacy_mode; |
caad057b | 69 | static bool smbios_uuid_encoded = true; |
ecdbfceb MT |
70 | /* Make sure that guest addresses aligned at 1Gbyte boundaries get mapped to |
71 | * host addresses aligned at 1Gbyte boundaries. This way we can use 1GByte | |
72 | * pages in the host. | |
73 | */ | |
bb43d383 | 74 | static bool gigabyte_align = true; |
de268e13 | 75 | static bool has_reserved_memory = true; |
72d164aa | 76 | static bool kvmclock_enabled = true; |
3ab135f3 | 77 | |
845773ab | 78 | /* PC hardware initialisation */ |
72d164aa | 79 | static void pc_init1(MachineState *machine) |
845773ab | 80 | { |
ec68007a | 81 | PCMachineState *pcms = PC_MACHINE(machine); |
1e099556 EH |
82 | MemoryRegion *system_memory = get_system_memory(); |
83 | MemoryRegion *system_io = get_system_io(); | |
845773ab | 84 | int i; |
845773ab | 85 | PCIBus *pci_bus; |
48a18b3c | 86 | ISABus *isa_bus; |
845773ab IY |
87 | PCII440FXState *i440fx_state; |
88 | int piix3_devfn = -1; | |
b881fbe9 | 89 | qemu_irq *gsi; |
845773ab | 90 | qemu_irq *i8259; |
2ba154cf | 91 | qemu_irq smi_irq; |
b881fbe9 | 92 | GSIState *gsi_state; |
845773ab | 93 | DriveInfo *hd[MAX_IDE_BUS * MAX_IDE_DEVS]; |
c0897e0c | 94 | BusState *idebus[MAX_IDE_BUS]; |
1d914fa0 | 95 | ISADevice *rtc_state; |
ae0a5466 AK |
96 | MemoryRegion *ram_memory; |
97 | MemoryRegion *pci_memory; | |
4463aee6 | 98 | MemoryRegion *rom_memory; |
f0513d2c | 99 | DeviceState *icc_bridge; |
3459a625 | 100 | PcGuestInfo *guest_info; |
c87b1520 | 101 | ram_addr_t lowmem; |
845773ab | 102 | |
ecdbfceb MT |
103 | /* Check whether RAM fits below 4G (leaving 1/2 GByte for IO memory). |
104 | * If it doesn't, we need to split it in chunks below and above 4G. | |
105 | * In any case, try to make sure that guest addresses aligned at | |
106 | * 1G boundaries get mapped to host addresses aligned at 1G boundaries. | |
107 | * For old machine types, use whatever split we used historically to avoid | |
108 | * breaking migration. | |
109 | */ | |
3ef96221 | 110 | if (machine->ram_size >= 0xe0000000) { |
c87b1520 DS |
111 | lowmem = gigabyte_align ? 0xc0000000 : 0xe0000000; |
112 | } else { | |
113 | lowmem = 0xe0000000; | |
114 | } | |
115 | ||
a9dd38db | 116 | /* Handle the machine opt max-ram-below-4g. It is basically doing |
c87b1520 DS |
117 | * min(qemu limit, user limit). |
118 | */ | |
ec68007a EH |
119 | if (lowmem > pcms->max_ram_below_4g) { |
120 | lowmem = pcms->max_ram_below_4g; | |
c87b1520 DS |
121 | if (machine->ram_size - lowmem > lowmem && |
122 | lowmem & ((1ULL << 30) - 1)) { | |
123 | error_report("Warning: Large machine and max_ram_below_4g(%"PRIu64 | |
124 | ") not a multiple of 1G; possible bad performance.", | |
ec68007a | 125 | pcms->max_ram_below_4g); |
c87b1520 DS |
126 | } |
127 | } | |
128 | ||
129 | if (machine->ram_size >= lowmem) { | |
c0aa4e1e EH |
130 | pcms->above_4g_mem_size = machine->ram_size - lowmem; |
131 | pcms->below_4g_mem_size = lowmem; | |
e0e7e67b | 132 | } else { |
c0aa4e1e EH |
133 | pcms->above_4g_mem_size = 0; |
134 | pcms->below_4g_mem_size = machine->ram_size; | |
e0e7e67b AP |
135 | } |
136 | ||
c0aa4e1e EH |
137 | if (xen_enabled() && xen_hvm_init(&pcms->below_4g_mem_size, |
138 | &pcms->above_4g_mem_size, | |
3c2a9669 DS |
139 | &ram_memory) != 0) { |
140 | fprintf(stderr, "xen hardware virtual machine initialisation failed\n"); | |
141 | exit(1); | |
142 | } | |
143 | ||
144 | icc_bridge = qdev_create(NULL, TYPE_ICC_BRIDGE); | |
145 | object_property_add_child(qdev_get_machine(), "icc-bridge", | |
146 | OBJECT(icc_bridge), NULL); | |
147 | ||
148 | pc_cpus_init(machine->cpu_model, icc_bridge); | |
149 | ||
150 | if (kvm_enabled() && kvmclock_enabled) { | |
151 | kvmclock_create(); | |
152 | } | |
153 | ||
4463aee6 JK |
154 | if (pci_enabled) { |
155 | pci_memory = g_new(MemoryRegion, 1); | |
286690e3 | 156 | memory_region_init(pci_memory, NULL, "pci", UINT64_MAX); |
4463aee6 JK |
157 | rom_memory = pci_memory; |
158 | } else { | |
159 | pci_memory = NULL; | |
160 | rom_memory = system_memory; | |
161 | } | |
ae0a5466 | 162 | |
b9cfc918 | 163 | guest_info = pc_guest_info_init(pcms); |
72c194f7 MT |
164 | |
165 | guest_info->has_acpi_build = has_acpi_build; | |
07fb6176 | 166 | guest_info->legacy_acpi_table_size = legacy_acpi_table_size; |
72c194f7 | 167 | |
6dd2a5c9 | 168 | guest_info->isapc_ram_fw = !pci_enabled; |
de268e13 | 169 | guest_info->has_reserved_memory = has_reserved_memory; |
384fb32e | 170 | guest_info->rsdp_in_ram = rsdp_in_ram; |
3459a625 | 171 | |
e6667f71 | 172 | if (smbios_defaults) { |
3ef96221 | 173 | MachineClass *mc = MACHINE_GET_CLASS(machine); |
b29ad07e | 174 | /* These values are guest ABI, do not change */ |
e6667f71 | 175 | smbios_set_defaults("QEMU", "Standard PC (i440FX + PIIX, 1996)", |
caad057b | 176 | mc->name, smbios_legacy_mode, smbios_uuid_encoded); |
b29ad07e MA |
177 | } |
178 | ||
845773ab | 179 | /* allocate ram and load rom/bios */ |
29d3ccde | 180 | if (!xen_enabled()) { |
62b160c0 | 181 | pc_memory_init(pcms, system_memory, |
c0aa4e1e | 182 | pcms->below_4g_mem_size, pcms->above_4g_mem_size, |
6e7d8249 | 183 | rom_memory, &ram_memory, guest_info); |
b33a5bbf CL |
184 | } else if (machine->kernel_filename != NULL) { |
185 | /* For xen HVM direct kernel boot, load linux here */ | |
6e7d8249 LE |
186 | xen_load_linux(machine->kernel_filename, |
187 | machine->kernel_cmdline, | |
188 | machine->initrd_filename, | |
c0aa4e1e | 189 | pcms->below_4g_mem_size, |
6e7d8249 | 190 | guest_info); |
29d3ccde | 191 | } |
845773ab | 192 | |
b881fbe9 | 193 | gsi_state = g_malloc0(sizeof(*gsi_state)); |
3d4b2649 | 194 | if (kvm_irqchip_in_kernel()) { |
d8ee0384 JB |
195 | kvm_pc_setup_irq_routing(pci_enabled); |
196 | gsi = qemu_allocate_irqs(kvm_pc_gsi_handler, gsi_state, | |
10b61882 JK |
197 | GSI_NUM_PINS); |
198 | } else { | |
199 | gsi = qemu_allocate_irqs(gsi_handler, gsi_state, GSI_NUM_PINS); | |
200 | } | |
845773ab IY |
201 | |
202 | if (pci_enabled) { | |
60573079 | 203 | pci_bus = i440fx_init(&i440fx_state, &piix3_devfn, &isa_bus, gsi, |
3ef96221 | 204 | system_memory, system_io, machine->ram_size, |
c0aa4e1e EH |
205 | pcms->below_4g_mem_size, |
206 | pcms->above_4g_mem_size, | |
ae0a5466 | 207 | pci_memory, ram_memory); |
845773ab IY |
208 | } else { |
209 | pci_bus = NULL; | |
02a89b21 | 210 | i440fx_state = NULL; |
bb2ed009 | 211 | isa_bus = isa_bus_new(NULL, get_system_memory(), system_io); |
57285cc3 | 212 | no_hpet = 1; |
845773ab | 213 | } |
48a18b3c | 214 | isa_bus_irqs(isa_bus, gsi); |
845773ab | 215 | |
3d4b2649 | 216 | if (kvm_irqchip_in_kernel()) { |
10b61882 JK |
217 | i8259 = kvm_i8259_init(isa_bus); |
218 | } else if (xen_enabled()) { | |
219 | i8259 = xen_interrupt_controller_init(); | |
220 | } else { | |
0b0cc076 | 221 | i8259 = i8259_init(isa_bus, pc_allocate_cpu_irq()); |
4bae1efe RH |
222 | } |
223 | ||
43a0db35 JK |
224 | for (i = 0; i < ISA_NUM_IRQS; i++) { |
225 | gsi_state->i8259_irq[i] = i8259[i]; | |
226 | } | |
2ba154cf | 227 | g_free(i8259); |
4bae1efe | 228 | if (pci_enabled) { |
a39e3564 | 229 | ioapic_init_gsi(gsi_state, "i440fx"); |
4bae1efe | 230 | } |
f0513d2c | 231 | qdev_init_nofail(icc_bridge); |
4bae1efe | 232 | |
b881fbe9 | 233 | pc_register_ferr_irq(gsi[13]); |
845773ab | 234 | |
f424d5c4 | 235 | pc_vga_init(isa_bus, pci_enabled ? pci_bus : NULL); |
01195b73 | 236 | |
ec68007a EH |
237 | assert(pcms->vmport != ON_OFF_AUTO_MAX); |
238 | if (pcms->vmport == ON_OFF_AUTO_AUTO) { | |
239 | pcms->vmport = xen_enabled() ? ON_OFF_AUTO_OFF : ON_OFF_AUTO_ON; | |
d1048bef DS |
240 | } |
241 | ||
845773ab | 242 | /* init basic PC hardware */ |
220a8846 | 243 | pc_basic_device_init(isa_bus, gsi, &rtc_state, true, |
ec68007a | 244 | (pcms->vmport != ON_OFF_AUTO_ON), 0x4); |
845773ab | 245 | |
9011a1a7 | 246 | pc_nic_init(isa_bus, pci_bus); |
845773ab | 247 | |
d8f94e1b | 248 | ide_drive_get(hd, ARRAY_SIZE(hd)); |
845773ab | 249 | if (pci_enabled) { |
c0897e0c | 250 | PCIDevice *dev; |
679f4f8b SS |
251 | if (xen_enabled()) { |
252 | dev = pci_piix3_xen_ide_init(pci_bus, hd, piix3_devfn + 1); | |
253 | } else { | |
254 | dev = pci_piix3_ide_init(pci_bus, hd, piix3_devfn + 1); | |
255 | } | |
c0897e0c MA |
256 | idebus[0] = qdev_get_child_bus(&dev->qdev, "ide.0"); |
257 | idebus[1] = qdev_get_child_bus(&dev->qdev, "ide.1"); | |
845773ab IY |
258 | } else { |
259 | for(i = 0; i < MAX_IDE_BUS; i++) { | |
c0897e0c | 260 | ISADevice *dev; |
61de3676 | 261 | char busname[] = "ide.0"; |
48a18b3c HP |
262 | dev = isa_ide_init(isa_bus, ide_iobase[i], ide_iobase2[i], |
263 | ide_irq[i], | |
c0897e0c | 264 | hd[MAX_IDE_DEVS * i], hd[MAX_IDE_DEVS * i + 1]); |
61de3676 AG |
265 | /* |
266 | * The ide bus name is ide.0 for the first bus and ide.1 for the | |
267 | * second one. | |
268 | */ | |
269 | busname[4] = '0' + i; | |
270 | idebus[i] = qdev_get_child_bus(DEVICE(dev), busname); | |
845773ab IY |
271 | } |
272 | } | |
273 | ||
23d30407 | 274 | pc_cmos_init(pcms, |
c0aa4e1e EH |
275 | pcms->below_4g_mem_size, pcms->above_4g_mem_size, |
276 | machine->boot_order, | |
23d30407 | 277 | idebus[0], idebus[1], rtc_state); |
845773ab | 278 | |
de77a243 | 279 | if (pci_enabled && usb_enabled()) { |
afb9a60e | 280 | pci_create_simple(pci_bus, piix3_devfn + 2, "piix3-usb-uhci"); |
845773ab IY |
281 | } |
282 | ||
283 | if (pci_enabled && acpi_enabled) { | |
781bbd6b | 284 | DeviceState *piix4_pm; |
a5c82852 | 285 | I2CBus *smbus; |
845773ab | 286 | |
2ba154cf | 287 | smi_irq = qemu_allocate_irq(pc_acpi_smi_interrupt, first_cpu, 0); |
845773ab IY |
288 | /* TODO: Populate SPD eeprom data. */ |
289 | smbus = piix4_pm_init(pci_bus, piix3_devfn + 3, 0xb100, | |
2ba154cf | 290 | gsi[9], smi_irq, |
ec68007a | 291 | pc_machine_is_smm_enabled(pcms), |
355023f2 | 292 | &piix4_pm); |
a88df0b9 | 293 | smbus_eeprom_init(smbus, 8, NULL, 0); |
781bbd6b IM |
294 | |
295 | object_property_add_link(OBJECT(machine), PC_MACHINE_ACPI_DEVICE_PROP, | |
296 | TYPE_HOTPLUG_HANDLER, | |
ec68007a | 297 | (Object **)&pcms->acpi_dev, |
781bbd6b IM |
298 | object_property_allow_set_link, |
299 | OBJ_PROP_LINK_UNREF_ON_RELEASE, &error_abort); | |
300 | object_property_set_link(OBJECT(machine), OBJECT(piix4_pm), | |
301 | PC_MACHINE_ACPI_DEVICE_PROP, &error_abort); | |
845773ab IY |
302 | } |
303 | ||
845773ab IY |
304 | if (pci_enabled) { |
305 | pc_pci_device_init(pci_bus); | |
306 | } | |
307 | } | |
308 | ||
5cb50e0a JW |
309 | static void pc_compat_2_3(MachineState *machine) |
310 | { | |
355023f2 | 311 | PCMachineState *pcms = PC_MACHINE(machine); |
37fb569c | 312 | savevm_skip_section_footers(); |
355023f2 PB |
313 | if (kvm_enabled()) { |
314 | pcms->smm = ON_OFF_AUTO_OFF; | |
315 | } | |
13d16814 | 316 | global_state_set_optional(); |
61964c23 | 317 | savevm_skip_configuration(); |
5cb50e0a JW |
318 | } |
319 | ||
64bbd372 PB |
320 | static void pc_compat_2_2(MachineState *machine) |
321 | { | |
5cb50e0a | 322 | pc_compat_2_3(machine); |
384fb32e | 323 | rsdp_in_ram = false; |
54ed388b | 324 | machine->suppress_vmdesc = true; |
64bbd372 PB |
325 | } |
326 | ||
2cad57c7 EH |
327 | static void pc_compat_2_1(MachineState *machine) |
328 | { | |
91aa70ab | 329 | PCMachineState *pcms = PC_MACHINE(machine); |
64bbd372 PB |
330 | |
331 | pc_compat_2_2(machine); | |
caad057b | 332 | smbios_uuid_encoded = false; |
75d373ef | 333 | x86_cpu_compat_kvm_no_autodisable(FEAT_8000_0001_ECX, CPUID_EXT3_SVM); |
91aa70ab | 334 | pcms->enforce_aligned_dimm = false; |
2cad57c7 EH |
335 | } |
336 | ||
3ef96221 | 337 | static void pc_compat_2_0(MachineState *machine) |
3458b2b0 | 338 | { |
2cad57c7 | 339 | pc_compat_2_1(machine); |
07fb6176 PB |
340 | /* This value depends on the actual DSDT and SSDT compiled into |
341 | * the source QEMU; unfortunately it depends on the binary and | |
342 | * not on the machine type, so we cannot make pc-i440fx-1.7 work on | |
343 | * both QEMU 1.7 and QEMU 2.0. | |
344 | * | |
345 | * Large variations cause migration to fail for more than one | |
346 | * consecutive value of the "-smp" maxcpus option. | |
347 | * | |
348 | * For small variations of the kind caused by different iasl versions, | |
349 | * the 4k rounding usually leaves slack. However, there could be still | |
350 | * one or two values that break. For QEMU 1.7 and QEMU 2.0 the | |
351 | * slack is only ~10 bytes before one "-smp maxcpus" value breaks! | |
352 | * | |
353 | * 6652 is valid for QEMU 2.0, the right value for pc-i440fx-1.7 on | |
354 | * QEMU 1.7 it is 6414. For RHEL/CentOS 7.0 it is 6418. | |
355 | */ | |
356 | legacy_acpi_table_size = 6652; | |
c97294ec | 357 | smbios_legacy_mode = true; |
de268e13 | 358 | has_reserved_memory = false; |
927766c7 | 359 | pc_set_legacy_acpi_data_size(); |
3458b2b0 MT |
360 | } |
361 | ||
3ef96221 | 362 | static void pc_compat_1_7(MachineState *machine) |
b29ad07e | 363 | { |
3ef96221 | 364 | pc_compat_2_0(machine); |
e6667f71 | 365 | smbios_defaults = false; |
bb43d383 | 366 | gigabyte_align = false; |
ac41881b | 367 | option_rom_has_mr = true; |
f47337cb | 368 | legacy_acpi_table_size = 6414; |
1cadaa94 | 369 | x86_cpu_compat_kvm_no_autoenable(FEAT_1_ECX, CPUID_EXT_X2APIC); |
b29ad07e MA |
370 | } |
371 | ||
3ef96221 | 372 | static void pc_compat_1_6(MachineState *machine) |
f8c457b8 | 373 | { |
3ef96221 | 374 | pc_compat_1_7(machine); |
98bc3ab0 | 375 | rom_file_has_mr = false; |
72c194f7 | 376 | has_acpi_build = false; |
f8c457b8 MT |
377 | } |
378 | ||
3ef96221 | 379 | static void pc_compat_1_5(MachineState *machine) |
9604f70f | 380 | { |
3ef96221 | 381 | pc_compat_1_6(machine); |
9604f70f MT |
382 | } |
383 | ||
3ef96221 | 384 | static void pc_compat_1_4(MachineState *machine) |
9953f882 | 385 | { |
3ef96221 | 386 | pc_compat_1_5(machine); |
9953f882 MA |
387 | } |
388 | ||
3ef96221 | 389 | static void pc_compat_1_3(MachineState *machine) |
8932cfdf | 390 | { |
3ef96221 | 391 | pc_compat_1_4(machine); |
8932cfdf | 392 | enable_compat_apic_id_mode(); |
89b439f3 EH |
393 | } |
394 | ||
395 | /* PC compat function for pc-0.14 to pc-1.2 */ | |
3ef96221 | 396 | static void pc_compat_1_2(MachineState *machine) |
89b439f3 | 397 | { |
3ef96221 | 398 | pc_compat_1_3(machine); |
0034a0f2 | 399 | x86_cpu_compat_kvm_no_autoenable(FEAT_KVM, 1 << KVM_FEATURE_PV_EOI); |
89b439f3 EH |
400 | } |
401 | ||
72d164aa EH |
402 | /* PC compat function for pc-0.10 to pc-0.13 */ |
403 | static void pc_compat_0_13(MachineState *machine) | |
404 | { | |
405 | pc_compat_1_2(machine); | |
406 | kvmclock_enabled = false; | |
407 | } | |
408 | ||
3ef96221 | 409 | static void pc_init_isa(MachineState *machine) |
845773ab | 410 | { |
72d164aa | 411 | pci_enabled = false; |
98af2ac9 | 412 | has_acpi_build = false; |
e6667f71 | 413 | smbios_defaults = false; |
5f8632d3 DS |
414 | gigabyte_align = false; |
415 | smbios_legacy_mode = true; | |
416 | has_reserved_memory = false; | |
417 | option_rom_has_mr = true; | |
418 | rom_file_has_mr = false; | |
3ef96221 MA |
419 | if (!machine->cpu_model) { |
420 | machine->cpu_model = "486"; | |
5650f5f4 | 421 | } |
0034a0f2 | 422 | x86_cpu_compat_kvm_no_autoenable(FEAT_KVM, 1 << KVM_FEATURE_PV_EOI); |
8932cfdf | 423 | enable_compat_apic_id_mode(); |
72d164aa | 424 | pc_init1(machine); |
845773ab IY |
425 | } |
426 | ||
29d3ccde | 427 | #ifdef CONFIG_XEN |
3ef96221 | 428 | static void pc_xen_hvm_init(MachineState *machine) |
29d3ccde | 429 | { |
39ae4972 PD |
430 | PCIBus *bus; |
431 | ||
211b5b1d | 432 | pc_init1(machine); |
39ae4972 | 433 | |
1ef7a2a2 | 434 | bus = pci_find_primary_bus(); |
39ae4972 PD |
435 | if (bus != NULL) { |
436 | pci_create_simple(bus, -1, "xen-platform"); | |
437 | } | |
29d3ccde AP |
438 | } |
439 | #endif | |
440 | ||
99fbeafe EH |
441 | #define DEFINE_I440FX_MACHINE(suffix, name, compatfn, optionfn) \ |
442 | static void pc_init_##suffix(MachineState *machine) \ | |
443 | { \ | |
444 | void (*compat)(MachineState *m) = (compatfn); \ | |
445 | if (compat) { \ | |
446 | compat(machine); \ | |
447 | } \ | |
448 | pc_init1(machine); \ | |
449 | } \ | |
450 | DEFINE_PC_MACHINE(suffix, name, pc_init_##suffix, optionfn) | |
fddd179a | 451 | |
865906f7 | 452 | static void pc_i440fx_machine_options(MachineClass *m) |
fddd179a | 453 | { |
fddd179a EH |
454 | m->family = "pc_piix"; |
455 | m->desc = "Standard PC (i440FX + PIIX, 1996)"; | |
456 | m->hot_add_cpu = pc_hot_add_cpu; | |
457 | } | |
458 | ||
865906f7 | 459 | static void pc_i440fx_2_4_machine_options(MachineClass *m) |
fddd179a EH |
460 | { |
461 | pc_i440fx_machine_options(m); | |
462 | m->default_machine_opts = "firmware=bios-256k.bin"; | |
463 | m->default_display = "std"; | |
464 | m->alias = "pc"; | |
465 | m->is_default = 1; | |
466 | } | |
aeca6e8d | 467 | |
99fbeafe EH |
468 | DEFINE_I440FX_MACHINE(v2_4, "pc-i440fx-2.4", NULL, |
469 | pc_i440fx_2_4_machine_options) | |
5cb50e0a | 470 | |
f9f21873 | 471 | |
865906f7 | 472 | static void pc_i440fx_2_3_machine_options(MachineClass *m) |
fddd179a | 473 | { |
4421c6a3 | 474 | pc_i440fx_2_4_machine_options(m); |
fddd179a EH |
475 | m->alias = NULL; |
476 | m->is_default = 0; | |
25519b06 | 477 | SET_MACHINE_COMPAT(m, PC_COMPAT_2_3); |
fddd179a | 478 | } |
5cb50e0a | 479 | |
99fbeafe EH |
480 | DEFINE_I440FX_MACHINE(v2_3, "pc-i440fx-2.3", pc_compat_2_3, |
481 | pc_i440fx_2_3_machine_options); | |
61f219df | 482 | |
5cb50e0a | 483 | |
865906f7 | 484 | static void pc_i440fx_2_2_machine_options(MachineClass *m) |
fddd179a EH |
485 | { |
486 | pc_i440fx_2_3_machine_options(m); | |
25519b06 | 487 | SET_MACHINE_COMPAT(m, PC_COMPAT_2_2); |
fddd179a | 488 | } |
64bbd372 | 489 | |
99fbeafe EH |
490 | DEFINE_I440FX_MACHINE(v2_2, "pc-i440fx-2.2", pc_compat_2_2, |
491 | pc_i440fx_2_2_machine_options); | |
61f219df | 492 | |
64bbd372 | 493 | |
865906f7 | 494 | static void pc_i440fx_2_1_machine_options(MachineClass *m) |
fddd179a EH |
495 | { |
496 | pc_i440fx_2_2_machine_options(m); | |
497 | m->default_display = NULL; | |
25519b06 | 498 | SET_MACHINE_COMPAT(m, PC_COMPAT_2_1); |
fddd179a | 499 | } |
f9f21873 | 500 | |
99fbeafe EH |
501 | DEFINE_I440FX_MACHINE(v2_1, "pc-i440fx-2.1", pc_compat_2_1, |
502 | pc_i440fx_2_1_machine_options); | |
61f219df | 503 | |
aeca6e8d | 504 | |
fddd179a | 505 | |
865906f7 | 506 | static void pc_i440fx_2_0_machine_options(MachineClass *m) |
fddd179a EH |
507 | { |
508 | pc_i440fx_2_1_machine_options(m); | |
25519b06 | 509 | SET_MACHINE_COMPAT(m, PC_COMPAT_2_0); |
fddd179a | 510 | } |
3458b2b0 | 511 | |
99fbeafe EH |
512 | DEFINE_I440FX_MACHINE(v2_0, "pc-i440fx-2.0", pc_compat_2_0, |
513 | pc_i440fx_2_0_machine_options); | |
61f219df | 514 | |
3458b2b0 | 515 | |
865906f7 | 516 | static void pc_i440fx_1_7_machine_options(MachineClass *m) |
fddd179a EH |
517 | { |
518 | pc_i440fx_2_0_machine_options(m); | |
519 | m->default_machine_opts = NULL; | |
25519b06 | 520 | SET_MACHINE_COMPAT(m, PC_COMPAT_1_7); |
fddd179a | 521 | } |
aeca6e8d | 522 | |
99fbeafe EH |
523 | DEFINE_I440FX_MACHINE(v1_7, "pc-i440fx-1.7", pc_compat_1_7, |
524 | pc_i440fx_1_7_machine_options); | |
61f219df | 525 | |
e9845f09 | 526 | |
865906f7 | 527 | static void pc_i440fx_1_6_machine_options(MachineClass *m) |
fddd179a EH |
528 | { |
529 | pc_i440fx_1_7_machine_options(m); | |
25519b06 | 530 | SET_MACHINE_COMPAT(m, PC_COMPAT_1_6); |
fddd179a | 531 | } |
a0dba644 | 532 | |
99fbeafe EH |
533 | DEFINE_I440FX_MACHINE(v1_6, "pc-i440fx-1.6", pc_compat_1_6, |
534 | pc_i440fx_1_6_machine_options); | |
61f219df | 535 | |
845773ab | 536 | |
865906f7 | 537 | static void pc_i440fx_1_5_machine_options(MachineClass *m) |
fddd179a EH |
538 | { |
539 | pc_i440fx_1_6_machine_options(m); | |
25519b06 | 540 | SET_MACHINE_COMPAT(m, PC_COMPAT_1_5); |
fddd179a | 541 | } |
b6b5c8e4 | 542 | |
99fbeafe EH |
543 | DEFINE_I440FX_MACHINE(v1_5, "pc-i440fx-1.5", pc_compat_1_5, |
544 | pc_i440fx_1_5_machine_options); | |
61f219df | 545 | |
45053fde | 546 | |
865906f7 | 547 | static void pc_i440fx_1_4_machine_options(MachineClass *m) |
fddd179a EH |
548 | { |
549 | pc_i440fx_1_5_machine_options(m); | |
550 | m->hot_add_cpu = NULL; | |
25519b06 | 551 | SET_MACHINE_COMPAT(m, PC_COMPAT_1_4); |
fddd179a | 552 | } |
a0dba644 | 553 | |
99fbeafe EH |
554 | DEFINE_I440FX_MACHINE(v1_4, "pc-i440fx-1.4", pc_compat_1_4, |
555 | pc_i440fx_1_4_machine_options); | |
61f219df | 556 | |
bf3caa3d | 557 | |
427e3aa1 | 558 | #define PC_COMPAT_1_3 \ |
a7cde24d | 559 | PC_COMPAT_1_4 \ |
427e3aa1 HG |
560 | {\ |
561 | .driver = "usb-tablet",\ | |
562 | .property = "usb_version",\ | |
563 | .value = stringify(1),\ | |
c1943a3f AK |
564 | },{\ |
565 | .driver = "virtio-net-pci",\ | |
566 | .property = "ctrl_mac_addr",\ | |
567 | .value = "off", \ | |
a9c87c58 JW |
568 | },{ \ |
569 | .driver = "virtio-net-pci", \ | |
570 | .property = "mq", \ | |
571 | .value = "off", \ | |
2af234e6 MT |
572 | }, {\ |
573 | .driver = "e1000",\ | |
574 | .property = "autonegotiation",\ | |
575 | .value = "off",\ | |
a7cde24d | 576 | }, |
427e3aa1 | 577 | |
fddd179a | 578 | |
865906f7 | 579 | static void pc_i440fx_1_3_machine_options(MachineClass *m) |
fddd179a EH |
580 | { |
581 | pc_i440fx_1_4_machine_options(m); | |
25519b06 | 582 | SET_MACHINE_COMPAT(m, PC_COMPAT_1_3); |
fddd179a | 583 | } |
b6b5c8e4 | 584 | |
99fbeafe EH |
585 | DEFINE_I440FX_MACHINE(v1_3, "pc-1.3", pc_compat_1_3, |
586 | pc_i440fx_1_3_machine_options); | |
61f219df | 587 | |
f1ae2e38 | 588 | |
183c5eaa | 589 | #define PC_COMPAT_1_2 \ |
a7cde24d | 590 | PC_COMPAT_1_3 \ |
183c5eaa GH |
591 | {\ |
592 | .driver = "nec-usb-xhci",\ | |
593 | .property = "msi",\ | |
594 | .value = "off",\ | |
595 | },{\ | |
596 | .driver = "nec-usb-xhci",\ | |
597 | .property = "msix",\ | |
598 | .value = "off",\ | |
c08ba66f GH |
599 | },{\ |
600 | .driver = "ivshmem",\ | |
601 | .property = "use64",\ | |
602 | .value = "0",\ | |
591af143 GH |
603 | },{\ |
604 | .driver = "qxl",\ | |
605 | .property = "revision",\ | |
606 | .value = stringify(3),\ | |
607 | },{\ | |
608 | .driver = "qxl-vga",\ | |
609 | .property = "revision",\ | |
610 | .value = stringify(3),\ | |
803ff052 GH |
611 | },{\ |
612 | .driver = "VGA",\ | |
613 | .property = "mmio",\ | |
614 | .value = "off",\ | |
a7cde24d | 615 | }, |
183c5eaa | 616 | |
865906f7 | 617 | static void pc_i440fx_1_2_machine_options(MachineClass *m) |
fddd179a EH |
618 | { |
619 | pc_i440fx_1_3_machine_options(m); | |
25519b06 | 620 | SET_MACHINE_COMPAT(m, PC_COMPAT_1_2); |
fddd179a | 621 | } |
a0dba644 | 622 | |
99fbeafe EH |
623 | DEFINE_I440FX_MACHINE(v1_2, "pc-1.2", pc_compat_1_2, |
624 | pc_i440fx_1_2_machine_options); | |
61f219df | 625 | |
f4306941 | 626 | |
9e56edcf | 627 | #define PC_COMPAT_1_1 \ |
a7cde24d | 628 | PC_COMPAT_1_2 \ |
9e56edcf | 629 | {\ |
07a5298c PB |
630 | .driver = "virtio-scsi-pci",\ |
631 | .property = "hotplug",\ | |
632 | .value = "off",\ | |
633 | },{\ | |
634 | .driver = "virtio-scsi-pci",\ | |
635 | .property = "param_change",\ | |
636 | .value = "off",\ | |
637 | },{\ | |
9e56edcf GH |
638 | .driver = "VGA",\ |
639 | .property = "vgamem_mb",\ | |
640 | .value = stringify(8),\ | |
641 | },{\ | |
642 | .driver = "vmware-svga",\ | |
643 | .property = "vgamem_mb",\ | |
644 | .value = stringify(8),\ | |
645 | },{\ | |
646 | .driver = "qxl-vga",\ | |
647 | .property = "vgamem_mb",\ | |
648 | .value = stringify(8),\ | |
649 | },{\ | |
650 | .driver = "qxl",\ | |
651 | .property = "vgamem_mb",\ | |
652 | .value = stringify(8),\ | |
ea776abc SH |
653 | },{\ |
654 | .driver = "virtio-blk-pci",\ | |
655 | .property = "config-wce",\ | |
656 | .value = "off",\ | |
a7cde24d | 657 | }, |
9e56edcf | 658 | |
865906f7 | 659 | static void pc_i440fx_1_1_machine_options(MachineClass *m) |
fddd179a EH |
660 | { |
661 | pc_i440fx_1_2_machine_options(m); | |
25519b06 | 662 | SET_MACHINE_COMPAT(m, PC_COMPAT_1_1); |
fddd179a | 663 | } |
b6b5c8e4 | 664 | |
99fbeafe EH |
665 | DEFINE_I440FX_MACHINE(v1_1, "pc-1.1", pc_compat_1_2, |
666 | pc_i440fx_1_1_machine_options); | |
61f219df | 667 | |
f1dacf1c | 668 | |
d6c73008 | 669 | #define PC_COMPAT_1_0 \ |
a7cde24d | 670 | PC_COMPAT_1_1 \ |
d6c73008 | 671 | {\ |
020c8e76 | 672 | .driver = TYPE_ISA_FDC,\ |
d6c73008 MT |
673 | .property = "check_media_rate",\ |
674 | .value = "off",\ | |
2ba1d381 DG |
675 | }, {\ |
676 | .driver = "virtio-balloon-pci",\ | |
677 | .property = "class",\ | |
678 | .value = stringify(PCI_CLASS_MEMORY_RAM),\ | |
fc34e77b | 679 | },{\ |
df1fd4b5 | 680 | .driver = "apic-common",\ |
fc34e77b AL |
681 | .property = "vapic",\ |
682 | .value = "off",\ | |
eeb0cf9a | 683 | },{\ |
bce54474 | 684 | .driver = TYPE_USB_DEVICE,\ |
eeb0cf9a GH |
685 | .property = "full-path",\ |
686 | .value = "no",\ | |
a7cde24d | 687 | }, |
d6c73008 | 688 | |
865906f7 | 689 | static void pc_i440fx_1_0_machine_options(MachineClass *m) |
fddd179a EH |
690 | { |
691 | pc_i440fx_1_1_machine_options(m); | |
692 | m->hw_version = "1.0"; | |
25519b06 | 693 | SET_MACHINE_COMPAT(m, PC_COMPAT_1_0); |
fddd179a | 694 | } |
b6b5c8e4 | 695 | |
99fbeafe EH |
696 | DEFINE_I440FX_MACHINE(v1_0, "pc-1.0", pc_compat_1_2, |
697 | pc_i440fx_1_0_machine_options); | |
61f219df | 698 | |
382b3a68 | 699 | |
d6c73008 MT |
700 | #define PC_COMPAT_0_15 \ |
701 | PC_COMPAT_1_0 | |
702 | ||
865906f7 | 703 | static void pc_i440fx_0_15_machine_options(MachineClass *m) |
fddd179a EH |
704 | { |
705 | pc_i440fx_1_0_machine_options(m); | |
706 | m->hw_version = "0.15"; | |
25519b06 | 707 | SET_MACHINE_COMPAT(m, PC_COMPAT_0_15); |
fddd179a | 708 | } |
b6b5c8e4 | 709 | |
99fbeafe EH |
710 | DEFINE_I440FX_MACHINE(v0_15, "pc-0.15", pc_compat_1_2, |
711 | pc_i440fx_0_15_machine_options); | |
61f219df | 712 | |
ce01a508 | 713 | |
d6c73008 | 714 | #define PC_COMPAT_0_14 \ |
a7cde24d | 715 | PC_COMPAT_0_15 \ |
d6c73008 MT |
716 | {\ |
717 | .driver = "virtio-blk-pci",\ | |
718 | .property = "event_idx",\ | |
719 | .value = "off",\ | |
720 | },{\ | |
721 | .driver = "virtio-serial-pci",\ | |
722 | .property = "event_idx",\ | |
723 | .value = "off",\ | |
724 | },{\ | |
725 | .driver = "virtio-net-pci",\ | |
726 | .property = "event_idx",\ | |
727 | .value = "off",\ | |
728 | },{\ | |
729 | .driver = "virtio-balloon-pci",\ | |
730 | .property = "event_idx",\ | |
731 | .value = "off",\ | |
bb08d882 EH |
732 | },{\ |
733 | .driver = "qxl",\ | |
734 | .property = "revision",\ | |
735 | .value = stringify(2),\ | |
736 | },{\ | |
737 | .driver = "qxl-vga",\ | |
738 | .property = "revision",\ | |
739 | .value = stringify(2),\ | |
a7cde24d | 740 | }, |
d6c73008 | 741 | |
865906f7 | 742 | static void pc_i440fx_0_14_machine_options(MachineClass *m) |
fddd179a EH |
743 | { |
744 | pc_i440fx_0_15_machine_options(m); | |
745 | m->hw_version = "0.14"; | |
25519b06 | 746 | SET_MACHINE_COMPAT(m, PC_COMPAT_0_14); |
fddd179a | 747 | } |
b6b5c8e4 | 748 | |
99fbeafe EH |
749 | DEFINE_I440FX_MACHINE(v0_14, "pc-0.14", pc_compat_1_2, |
750 | pc_i440fx_0_14_machine_options); | |
61f219df | 751 | |
19857e62 | 752 | |
d6c73008 | 753 | #define PC_COMPAT_0_13 \ |
a7cde24d | 754 | PC_COMPAT_0_14 \ |
d6c73008 | 755 | {\ |
bce54474 | 756 | .driver = TYPE_PCI_DEVICE,\ |
d6c73008 MT |
757 | .property = "command_serr_enable",\ |
758 | .value = "off",\ | |
759 | },{\ | |
760 | .driver = "AC97",\ | |
761 | .property = "use_broken_id",\ | |
762 | .value = stringify(1),\ | |
d765519b EH |
763 | },{\ |
764 | .driver = "virtio-9p-pci",\ | |
765 | .property = "vectors",\ | |
766 | .value = stringify(0),\ | |
faf7e425 EH |
767 | },{\ |
768 | .driver = "VGA",\ | |
769 | .property = "rombar",\ | |
770 | .value = stringify(0),\ | |
771 | },{\ | |
772 | .driver = "vmware-svga",\ | |
773 | .property = "rombar",\ | |
774 | .value = stringify(0),\ | |
a7cde24d | 775 | }, |
d6c73008 | 776 | |
865906f7 | 777 | static void pc_i440fx_0_13_machine_options(MachineClass *m) |
fddd179a EH |
778 | { |
779 | pc_i440fx_0_14_machine_options(m); | |
780 | m->hw_version = "0.13"; | |
25519b06 | 781 | SET_MACHINE_COMPAT(m, PC_COMPAT_0_13); |
fddd179a | 782 | } |
a0dba644 | 783 | |
99fbeafe EH |
784 | DEFINE_I440FX_MACHINE(v0_13, "pc-0.13", pc_compat_0_13, |
785 | pc_i440fx_0_13_machine_options); | |
61f219df | 786 | |
b903a0f7 | 787 | |
d6c73008 | 788 | #define PC_COMPAT_0_12 \ |
a7cde24d | 789 | PC_COMPAT_0_13 \ |
d6c73008 MT |
790 | {\ |
791 | .driver = "virtio-serial-pci",\ | |
792 | .property = "max_ports",\ | |
793 | .value = stringify(1),\ | |
794 | },{\ | |
795 | .driver = "virtio-serial-pci",\ | |
796 | .property = "vectors",\ | |
797 | .value = stringify(0),\ | |
93c8e4dc GH |
798 | },{\ |
799 | .driver = "usb-mouse",\ | |
800 | .property = "serial",\ | |
801 | .value = "1",\ | |
802 | },{\ | |
803 | .driver = "usb-tablet",\ | |
804 | .property = "serial",\ | |
805 | .value = "1",\ | |
806 | },{\ | |
807 | .driver = "usb-kbd",\ | |
808 | .property = "serial",\ | |
809 | .value = "1",\ | |
a7cde24d | 810 | }, |
d6c73008 | 811 | |
865906f7 | 812 | static void pc_i440fx_0_12_machine_options(MachineClass *m) |
fddd179a EH |
813 | { |
814 | pc_i440fx_0_13_machine_options(m); | |
815 | m->hw_version = "0.12"; | |
25519b06 | 816 | SET_MACHINE_COMPAT(m, PC_COMPAT_0_12); |
fddd179a | 817 | } |
b6b5c8e4 | 818 | |
99fbeafe EH |
819 | DEFINE_I440FX_MACHINE(v0_12, "pc-0.12", pc_compat_0_13, |
820 | pc_i440fx_0_12_machine_options); | |
61f219df | 821 | |
845773ab | 822 | |
d6c73008 | 823 | #define PC_COMPAT_0_11 \ |
a7cde24d | 824 | PC_COMPAT_0_12 \ |
d6c73008 MT |
825 | {\ |
826 | .driver = "virtio-blk-pci",\ | |
827 | .property = "vectors",\ | |
828 | .value = stringify(0),\ | |
c115cd65 | 829 | },{\ |
bce54474 | 830 | .driver = TYPE_PCI_DEVICE,\ |
c115cd65 PB |
831 | .property = "rombar",\ |
832 | .value = stringify(0),\ | |
d5303df7 EH |
833 | },{\ |
834 | .driver = "ide-drive",\ | |
835 | .property = "ver",\ | |
836 | .value = "0.11",\ | |
837 | },{\ | |
838 | .driver = "scsi-disk",\ | |
839 | .property = "ver",\ | |
840 | .value = "0.11",\ | |
a7cde24d | 841 | }, |
d6c73008 | 842 | |
865906f7 | 843 | static void pc_i440fx_0_11_machine_options(MachineClass *m) |
fddd179a EH |
844 | { |
845 | pc_i440fx_0_12_machine_options(m); | |
846 | m->hw_version = "0.11"; | |
25519b06 | 847 | SET_MACHINE_COMPAT(m, PC_COMPAT_0_11); |
fddd179a | 848 | } |
b6b5c8e4 | 849 | |
99fbeafe EH |
850 | DEFINE_I440FX_MACHINE(v0_11, "pc-0.11", pc_compat_0_13, |
851 | pc_i440fx_0_11_machine_options); | |
61f219df | 852 | |
845773ab | 853 | |
f6d5a0ba EH |
854 | #define PC_COMPAT_0_10 \ |
855 | PC_COMPAT_0_11 \ | |
856 | {\ | |
857 | .driver = "virtio-blk-pci",\ | |
858 | .property = "class",\ | |
859 | .value = stringify(PCI_CLASS_STORAGE_OTHER),\ | |
860 | },{\ | |
861 | .driver = "virtio-serial-pci",\ | |
862 | .property = "class",\ | |
863 | .value = stringify(PCI_CLASS_DISPLAY_OTHER),\ | |
864 | },{\ | |
865 | .driver = "virtio-net-pci",\ | |
866 | .property = "vectors",\ | |
867 | .value = stringify(0),\ | |
868 | },{\ | |
869 | .driver = "ide-drive",\ | |
870 | .property = "ver",\ | |
871 | .value = "0.10",\ | |
872 | },{\ | |
873 | .driver = "scsi-disk",\ | |
874 | .property = "ver",\ | |
875 | .value = "0.10",\ | |
876 | }, | |
877 | ||
865906f7 | 878 | static void pc_i440fx_0_10_machine_options(MachineClass *m) |
fddd179a EH |
879 | { |
880 | pc_i440fx_0_11_machine_options(m); | |
881 | m->hw_version = "0.10"; | |
25519b06 | 882 | SET_MACHINE_COMPAT(m, PC_COMPAT_0_10); |
fddd179a | 883 | } |
b6b5c8e4 | 884 | |
99fbeafe EH |
885 | DEFINE_I440FX_MACHINE(v0_10, "pc-0.10", pc_compat_0_13, |
886 | pc_i440fx_0_10_machine_options); | |
61f219df | 887 | |
845773ab | 888 | |
865906f7 | 889 | static void isapc_machine_options(MachineClass *m) |
fddd179a | 890 | { |
fddd179a EH |
891 | m->desc = "ISA-only PC"; |
892 | m->max_cpus = 1; | |
893 | } | |
b6b5c8e4 | 894 | |
61f219df | 895 | DEFINE_PC_MACHINE(isapc, "isapc", pc_init_isa, |
25519b06 | 896 | isapc_machine_options); |
61f219df | 897 | |
845773ab | 898 | |
29d3ccde | 899 | #ifdef CONFIG_XEN |
865906f7 | 900 | static void xenfv_machine_options(MachineClass *m) |
fddd179a | 901 | { |
fddd179a EH |
902 | m->desc = "Xen Fully-virtualized PC"; |
903 | m->max_cpus = HVM_MAX_VCPUS; | |
904 | m->default_machine_opts = "accel=xen"; | |
905 | m->hot_add_cpu = pc_hot_add_cpu; | |
906 | } | |
b6b5c8e4 | 907 | |
61f219df | 908 | DEFINE_PC_MACHINE(xenfv, "xenfv", pc_xen_hvm_init, |
25519b06 | 909 | xenfv_machine_options); |
29d3ccde | 910 | #endif |