/home/stefan/src/qemu/qemu.org/qemu/hw/i386/pc

Bug Summary

File:	hw/i386/pc_piix.c
Location:	line 171, column 19
Description:	Function call argument is an uninitialized value

Annotated Source Code

* QEMU PC System Emulator

* Permission is hereby granted, free of charge, to any person obtaining a copy

* of this software and associated documentation files (the "Software"), to deal

* in the Software without restriction, including without limitation the rights

* to use, copy, modify, merge, publish, distribute, sublicense, and/or sell

* copies of the Software, and to permit persons to whom the Software is

* furnished to do so, subject to the following conditions:

* The above copyright notice and this permission notice shall be included in

* all copies or substantial portions of the Software.

* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR

* IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,

* FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL

* THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER

* LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,

* OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN

* THE SOFTWARE.

#include <glib.h>

#include "hw/hw.h"

#include "hw/loader.h"

#include "hw/i386/pc.h"

#include "hw/i386/apic.h"

#include "hw/i386/smbios.h"

#include "hw/pci/pci.h"

#include "hw/pci/pci_ids.h"

#include "hw/usb.h"

#include "net/net.h"

#include "hw/boards.h"

#include "hw/ide.h"

#include "sysemu/kvm.h"

#include "hw/kvm/clock.h"

#include "sysemu/sysemu.h"

#include "hw/sysbus.h"

#include "hw/cpu/icc_bus.h"

#include "sysemu/arch_init.h"

#include "sysemu/blockdev.h"

#include "hw/i2c/smbus.h"

#include "hw/xen/xen.h"

#include "exec/memory.h"

#include "exec/address-spaces.h"

#include "hw/acpi/acpi.h"

#include "cpu.h"

#ifdef CONFIG_XEN1

# include <xen/hvm/hvm_info_table.h>

#endif

#define MAX_IDE_BUS2 2

static const int ide_iobase[MAX_IDE_BUS2] = { 0x1f0, 0x170 };

static const int ide_iobase2[MAX_IDE_BUS2] = { 0x3f6, 0x376 };

static const int ide_irq[MAX_IDE_BUS2] = { 14, 15 };

static bool_Bool has_pci_info;

static bool_Bool has_acpi_build = true1;

static bool_Bool smbios_type1_defaults = true1;

/* Make sure that guest addresses aligned at 1Gbyte boundaries get mapped to

* host addresses aligned at 1Gbyte boundaries. This way we can use 1GByte

* pages in the host.

static bool_Bool gigabyte_align = true1;

/* PC hardware initialisation */

static void pc_init1(QEMUMachineInitArgs *args,

int pci_enabled,

int kvmclock_enabled)

{

MemoryRegion *system_memory = get_system_memory();

MemoryRegion *system_io = get_system_io();

int i;

ram_addr_t below_4g_mem_size, above_4g_mem_size;

PCIBus *pci_bus;

ISABus *isa_bus;

PCII440FXState *i440fx_state;

int piix3_devfn = -1;

qemu_irq *cpu_irq;

qemu_irq *gsi;

qemu_irq *i8259;

qemu_irq *smi_irq;

GSIState *gsi_state;

DriveInfo *hd[MAX_IDE_BUS2 * MAX_IDE_DEVS2];

BusState *idebus[MAX_IDE_BUS2];

ISADevice *rtc_state;

ISADevice *floppy;

MemoryRegion *ram_memory;

'ram_memory' declared without an initial value

→

MemoryRegion *pci_memory;

MemoryRegion *rom_memory;

DeviceState *icc_bridge;

FWCfgState *fw_cfg = NULL((void*)0);

PcGuestInfo *guest_info;

if (xen_enabled() && xen_hvm_init(&ram_memory) != 0) {

100

fprintf(stderrstderr, "xen hardware virtual machine initialisation failed\n");

101

exit(1);

102

}

103

104

icc_bridge = qdev_create(NULL((void*)0), TYPE_ICC_BRIDGE"icc-bridge");

105

object_property_add_child(qdev_get_machine(), "icc-bridge",

106

OBJECT(icc_bridge)((Object *)(icc_bridge)), NULL((void*)0));

107

108

pc_cpus_init(args->cpu_model, icc_bridge);

109

110

if (kvm_enabled()(kvm_allowed) && kvmclock_enabled) {

111

kvmclock_create();

112

}

113

114

/* Check whether RAM fits below 4G (leaving 1/2 GByte for IO memory).

115

* If it doesn't, we need to split it in chunks below and above 4G.

116

* In any case, try to make sure that guest addresses aligned at

117

* 1G boundaries get mapped to host addresses aligned at 1G boundaries.

118

* For old machine types, use whatever split we used historically to avoid

119

* breaking migration.

120

121

if (args->ram_size >= 0xe0000000) {

←

Taking false branch

→

122

ram_addr_t lowmem = gigabyte_align ? 0xc0000000 : 0xe0000000;

123

above_4g_mem_size = args->ram_size - lowmem;

124

below_4g_mem_size = lowmem;

125

} else {

126

above_4g_mem_size = 0;

127

below_4g_mem_size = args->ram_size;

128

}

129

130

if (pci_enabled) {

←

Assuming 'pci_enabled' is not equal to 0

→

←

Taking true branch

→

131

pci_memory = g_new(MemoryRegion, 1)((MemoryRegion *) g_malloc_n ((1), sizeof (MemoryRegion)));

132

memory_region_init(pci_memory, NULL((void*)0), "pci", UINT64_MAX(18446744073709551615UL));

133

rom_memory = pci_memory;

134

} else {

135

pci_memory = NULL((void*)0);

136

rom_memory = system_memory;

137

}

138

139

guest_info = pc_guest_info_init(below_4g_mem_size, above_4g_mem_size);

140

141

guest_info->has_acpi_build = has_acpi_build;

142

143

guest_info->has_pci_info = has_pci_info;

144

guest_info->isapc_ram_fw = !pci_enabled;

145

146

if (smbios_type1_defaults) {

←

Assuming 'smbios_type1_defaults' is 0

→

←

Taking false branch

→

147

/* These values are guest ABI, do not change */

148

smbios_set_type1_defaults("QEMU", "Standard PC (i440FX + PIIX, 1996)",

149

args->machine->name);

150

}

151

152

/* allocate ram and load rom/bios */

153

if (!xen_enabled()) {

←

Taking false branch

→

154

fw_cfg = pc_memory_init(system_memory,

155

args->kernel_filename, args->kernel_cmdline,

156

args->initrd_filename,

157

below_4g_mem_size, above_4g_mem_size,

158

rom_memory, &ram_memory, guest_info);

159

}

160

161

gsi_state = g_malloc0(sizeof(*gsi_state));

162

if (kvm_irqchip_in_kernel()(kvm_kernel_irqchip)) {

←

Taking false branch

→

163

kvm_pc_setup_irq_routing(pci_enabled);

164

gsi = qemu_allocate_irqs(kvm_pc_gsi_handler, gsi_state,

165

GSI_NUM_PINS24);

166

} else {

167

gsi = qemu_allocate_irqs(gsi_handler, gsi_state, GSI_NUM_PINS24);

168

}

169

170

if (pci_enabled) {

←

Taking true branch

→

171

pci_bus = i440fx_init(&i440fx_state, &piix3_devfn, &isa_bus, gsi,

←

Function call argument is an uninitialized value

172

system_memory, system_io, args->ram_size,

173

below_4g_mem_size,

174

above_4g_mem_size,

175

pci_memory, ram_memory);

176

} else {

177

pci_bus = NULL((void*)0);

178

i440fx_state = NULL((void*)0);

179

isa_bus = isa_bus_new(NULL((void*)0), system_io);

180

no_hpet = 1;

181

}

182

isa_bus_irqs(isa_bus, gsi);

183

184

if (kvm_irqchip_in_kernel()(kvm_kernel_irqchip)) {

185

i8259 = kvm_i8259_init(isa_bus);

186

} else if (xen_enabled()) {

187

i8259 = xen_interrupt_controller_init();

188

} else {

189

cpu_irq = pc_allocate_cpu_irq();

190

i8259 = i8259_init(isa_bus, cpu_irq[0]);

191

}

192

193

for (i = 0; i < ISA_NUM_IRQS16; i++) {

194

gsi_state->i8259_irq[i] = i8259[i];

195

}

196

if (pci_enabled) {

197

ioapic_init_gsi(gsi_state, "i440fx");

198

}

199

qdev_init_nofail(icc_bridge);

200

201

pc_register_ferr_irq(gsi[13]);

202

203

pc_vga_init(isa_bus, pci_enabled ? pci_bus : NULL((void*)0));

204

205

/* init basic PC hardware */

206

pc_basic_device_init(isa_bus, gsi, &rtc_state, &floppy, xen_enabled(),

207

0x4);

208

209

pc_nic_init(isa_bus, pci_bus);

210

211

ide_drive_get(hd, MAX_IDE_BUS2);

212

if (pci_enabled) {

213

PCIDevice *dev;

214

if (xen_enabled()) {

215

dev = pci_piix3_xen_ide_init(pci_bus, hd, piix3_devfn + 1);

216

} else {

217

dev = pci_piix3_ide_init(pci_bus, hd, piix3_devfn + 1);

218

}

219

idebus[0] = qdev_get_child_bus(&dev->qdev, "ide.0");

220

idebus[1] = qdev_get_child_bus(&dev->qdev, "ide.1");

221

} else {

222

for(i = 0; i < MAX_IDE_BUS2; i++) {

223

ISADevice *dev;

224

dev = isa_ide_init(isa_bus, ide_iobase[i], ide_iobase2[i],

225

ide_irq[i],

226

hd[MAX_IDE_DEVS2 * i], hd[MAX_IDE_DEVS2 * i + 1]);

227

idebus[i] = qdev_get_child_bus(DEVICE(dev)((DeviceState *)object_dynamic_cast_assert(((Object *)((dev))
), ("device"), "/home/stefan/src/qemu/qemu.org/qemu/hw/i386/pc_piix.c"
, 227, __func__)), "ide.0");

228

}

229

}

230

231

pc_cmos_init(below_4g_mem_size, above_4g_mem_size, args->boot_order,

232

floppy, idebus[0], idebus[1], rtc_state);

233

234

if (pci_enabled && usb_enabled(false0)) {

235

pci_create_simple(pci_bus, piix3_devfn + 2, "piix3-usb-uhci");

236

}

237

238

if (pci_enabled && acpi_enabled) {

239

i2c_bus *smbus;

240

241

smi_irq = qemu_allocate_irqs(pc_acpi_smi_interrupt, first_cpu((&cpus)->tqh_first), 1);

242

/* TODO: Populate SPD eeprom data. */

243

smbus = piix4_pm_init(pci_bus, piix3_devfn + 3, 0xb100,

244

gsi[9], *smi_irq,

245

kvm_enabled()(kvm_allowed), fw_cfg);

246

smbus_eeprom_init(smbus, 8, NULL((void*)0), 0);

247

}

248

249

if (pci_enabled) {

250

pc_pci_device_init(pci_bus);

251

}

252

}

253

254

static void pc_init_pci(QEMUMachineInitArgs *args)

255

{

256

pc_init1(args, 1, 1);

257

}

258

259

static void pc_compat_1_7(QEMUMachineInitArgs *args)

260

{

261

smbios_type1_defaults = false0;

262

gigabyte_align = false0;

263

}

264

265

static void pc_compat_1_6(QEMUMachineInitArgs *args)

266

{

267

pc_compat_1_7(args);

268

has_pci_info = false0;

269

rom_file_in_ram = false0;

270

has_acpi_build = false0;

271

}

272

273

static void pc_compat_1_5(QEMUMachineInitArgs *args)

274

{

275

pc_compat_1_6(args);

276

}

277

278

static void pc_compat_1_4(QEMUMachineInitArgs *args)

279

{

280

pc_compat_1_5(args);

281

x86_cpu_compat_set_features("n270", FEAT_1_ECX, 0, CPUID_EXT_MOVBE(1 << 22));

282

x86_cpu_compat_set_features("Westmere", FEAT_1_ECX, 0, CPUID_EXT_PCLMULQDQ(1 << 1));

283

}

284

285

static void pc_compat_1_3(QEMUMachineInitArgs *args)

286

{

287

pc_compat_1_4(args);

288

enable_compat_apic_id_mode();

289

}

290

291

/* PC compat function for pc-0.14 to pc-1.2 */

292

static void pc_compat_1_2(QEMUMachineInitArgs *args)

293

{

294

pc_compat_1_3(args);

295

disable_kvm_pv_eoi();

296

}

297

298

static void pc_init_pci_1_7(QEMUMachineInitArgs *args)

299

{

300

pc_compat_1_7(args);

301

pc_init_pci(args);

302

}

303

304

static void pc_init_pci_1_6(QEMUMachineInitArgs *args)

305

{

306

pc_compat_1_6(args);

307

pc_init_pci(args);

308

}

309

310

static void pc_init_pci_1_5(QEMUMachineInitArgs *args)

311

{

312

pc_compat_1_5(args);

313

pc_init_pci(args);

314

}

315

316

static void pc_init_pci_1_4(QEMUMachineInitArgs *args)

317

{

318

pc_compat_1_4(args);

319

pc_init_pci(args);

320

}

321

322

static void pc_init_pci_1_3(QEMUMachineInitArgs *args)

323

{

324

pc_compat_1_3(args);

325

pc_init_pci(args);

326

}

327

328

/* PC machine init function for pc-0.14 to pc-1.2 */

329

static void pc_init_pci_1_2(QEMUMachineInitArgs *args)

330

{

331

pc_compat_1_2(args);

332

pc_init_pci(args);

333

}

334

335

/* PC init function for pc-0.10 to pc-0.13, and reused by xenfv */

336

static void pc_init_pci_no_kvmclock(QEMUMachineInitArgs *args)

337

{

338

has_pci_info = false0;

339

has_acpi_build = false0;

340

smbios_type1_defaults = false0;

341

disable_kvm_pv_eoi();

342

enable_compat_apic_id_mode();

343

pc_init1(args, 1, 0);

344

}

345

346

static void pc_init_isa(QEMUMachineInitArgs *args)

347

{

348

has_pci_info = false0;

349

has_acpi_build = false0;

350

smbios_type1_defaults = false0;

351

if (!args->cpu_model) {

352

args->cpu_model = "486";

353

}

354

disable_kvm_pv_eoi();

355

enable_compat_apic_id_mode();

356

pc_init1(args, 0, 1);

357

}

358

359

#ifdef CONFIG_XEN1

360

static void pc_xen_hvm_init(QEMUMachineInitArgs *args)

361

{

362

PCIBus *bus;

363

364

pc_init_pci(args);

365

366

bus = pci_find_primary_bus();

367

if (bus != NULL((void*)0)) {

368

pci_create_simple(bus, -1, "xen-platform");

369

}

370

}

371

#endif

372

373

#define PC_I440FX_MACHINE_OPTIONS.default_boot_order = "cad", .hot_add_cpu = pc_hot_add_cpu, .
max_cpus = 255, .desc = "Standard PC (i440FX + PIIX, 1996)", .
hot_add_cpu = pc_hot_add_cpu \

374

PC_DEFAULT_MACHINE_OPTIONS.default_boot_order = "cad", .hot_add_cpu = pc_hot_add_cpu, .
max_cpus = 255, \

375

.desc = "Standard PC (i440FX + PIIX, 1996)", \

376

.hot_add_cpu = pc_hot_add_cpu

377

378

#define PC_I440FX_2_0_MACHINE_OPTIONS.default_boot_order = "cad", .hot_add_cpu = pc_hot_add_cpu, .
max_cpus = 255, .desc = "Standard PC (i440FX + PIIX, 1996)", .
hot_add_cpu = pc_hot_add_cpu, .default_machine_opts = "firmware=bios-256k.bin" \

379

PC_I440FX_MACHINE_OPTIONS.default_boot_order = "cad", .hot_add_cpu = pc_hot_add_cpu, .
max_cpus = 255, .desc = "Standard PC (i440FX + PIIX, 1996)", .
hot_add_cpu = pc_hot_add_cpu, \

380

.default_machine_opts = "firmware=bios-256k.bin"

381

382

static QEMUMachine pc_i440fx_machine_v2_0 = {

383

PC_I440FX_2_0_MACHINE_OPTIONS.default_boot_order = "cad", .hot_add_cpu = pc_hot_add_cpu, .
max_cpus = 255, .desc = "Standard PC (i440FX + PIIX, 1996)", .
hot_add_cpu = pc_hot_add_cpu, .default_machine_opts = "firmware=bios-256k.bin",

384

.name = "pc-i440fx-2.0",

385

.alias = "pc",

386

.init = pc_init_pci,

387

.is_default = 1,

388

};

389

390

#define PC_I440FX_1_7_MACHINE_OPTIONS.default_boot_order = "cad", .hot_add_cpu = pc_hot_add_cpu, .
max_cpus = 255, .desc = "Standard PC (i440FX + PIIX, 1996)", .
hot_add_cpu = pc_hot_add_cpu PC_I440FX_MACHINE_OPTIONS.default_boot_order = "cad", .hot_add_cpu = pc_hot_add_cpu, .
max_cpus = 255, .desc = "Standard PC (i440FX + PIIX, 1996)", .
hot_add_cpu = pc_hot_add_cpu

391

392

static QEMUMachine pc_i440fx_machine_v1_7 = {

393

PC_I440FX_1_7_MACHINE_OPTIONS.default_boot_order = "cad", .hot_add_cpu = pc_hot_add_cpu, .
max_cpus = 255, .desc = "Standard PC (i440FX + PIIX, 1996)", .
hot_add_cpu = pc_hot_add_cpu,

394

.name = "pc-i440fx-1.7",

395

.init = pc_init_pci_1_7,

396

};

397

398

#define PC_I440FX_1_6_MACHINE_OPTIONS.default_boot_order = "cad", .hot_add_cpu = pc_hot_add_cpu, .
max_cpus = 255, .desc = "Standard PC (i440FX + PIIX, 1996)", .
hot_add_cpu = pc_hot_add_cpu PC_I440FX_MACHINE_OPTIONS.default_boot_order = "cad", .hot_add_cpu = pc_hot_add_cpu, .
max_cpus = 255, .desc = "Standard PC (i440FX + PIIX, 1996)", .
hot_add_cpu = pc_hot_add_cpu

399

400

static QEMUMachine pc_i440fx_machine_v1_6 = {

401

PC_I440FX_1_6_MACHINE_OPTIONS.default_boot_order = "cad", .hot_add_cpu = pc_hot_add_cpu, .
max_cpus = 255, .desc = "Standard PC (i440FX + PIIX, 1996)", .
hot_add_cpu = pc_hot_add_cpu,

402

.name = "pc-i440fx-1.6",

403

.init = pc_init_pci_1_6,

404

.compat_props = (GlobalProperty[]) {

405

PC_COMPAT_1_6{ .driver = "e1000", .property = "mitigation", .value = "off"
, },{ .driver = "qemu64-" "x86_64-cpu", .property = "model", .
value = "2", },{ .driver = "qemu32-" "x86_64-cpu", .property =
"model", .value = "3", },{ .driver = "i440FX-pcihost", .property
= "short_root_bus", .value = "1", },{ .driver = "q35-pcihost"
, .property = "short_root_bus", .value = "1", },

406

{ /* end of list */ }

407

408

};

409

410

static QEMUMachine pc_i440fx_machine_v1_5 = {

411

PC_I440FX_1_6_MACHINE_OPTIONS.default_boot_order = "cad", .hot_add_cpu = pc_hot_add_cpu, .
max_cpus = 255, .desc = "Standard PC (i440FX + PIIX, 1996)", .
hot_add_cpu = pc_hot_add_cpu,

412

.name = "pc-i440fx-1.5",

413

.init = pc_init_pci_1_5,

414

.compat_props = (GlobalProperty[]) {

415

PC_COMPAT_1_5{ .driver = "e1000", .property = "mitigation", .value = "off"
, },{ .driver = "qemu64-" "x86_64-cpu", .property = "model", .
value = "2", },{ .driver = "qemu32-" "x86_64-cpu", .property =
"model", .value = "3", },{ .driver = "i440FX-pcihost", .property
= "short_root_bus", .value = "1", },{ .driver = "q35-pcihost"
, .property = "short_root_bus", .value = "1", }, { .driver = "Conroe-"
"x86_64-cpu", .property = "model", .value = "2", },{ .driver
= "Conroe-" "x86_64-cpu", .property = "level", .value = "2",
},{ .driver = "Penryn-" "x86_64-cpu", .property = "model", .
value = "2", },{ .driver = "Penryn-" "x86_64-cpu", .property =
"level", .value = "2", },{ .driver = "Nehalem-" "x86_64-cpu"
, .property = "model", .value = "2", },{ .driver = "Nehalem-"
"x86_64-cpu", .property = "level", .value = "2", },{ .driver
= "virtio-net-pci", .property = "any_layout", .value = "off"
, },{ .driver = "x86_64-cpu", .property = "pmu", .value = "on"
, },{ .driver = "i440FX-pcihost", .property = "short_root_bus"
, .value = "0", },{ .driver = "q35-pcihost", .property = "short_root_bus"
, .value = "0", },

416

{ /* end of list */ }

417

418

};

419

420

#define PC_I440FX_1_4_MACHINE_OPTIONS.default_boot_order = "cad", .hot_add_cpu = pc_hot_add_cpu, .
max_cpus = 255, .desc = "Standard PC (i440FX + PIIX, 1996)", .
hot_add_cpu = pc_hot_add_cpu, .hot_add_cpu = ((void*)0) \

421

PC_I440FX_1_6_MACHINE_OPTIONS.default_boot_order = "cad", .hot_add_cpu = pc_hot_add_cpu, .
max_cpus = 255, .desc = "Standard PC (i440FX + PIIX, 1996)", .
hot_add_cpu = pc_hot_add_cpu, \

422

.hot_add_cpu = NULL((void*)0)

423

424

static QEMUMachine pc_i440fx_machine_v1_4 = {

425

PC_I440FX_1_4_MACHINE_OPTIONS.default_boot_order = "cad", .hot_add_cpu = pc_hot_add_cpu, .
max_cpus = 255, .desc = "Standard PC (i440FX + PIIX, 1996)", .
hot_add_cpu = pc_hot_add_cpu, .hot_add_cpu = ((void*)0),

426

.name = "pc-i440fx-1.4",

427

.init = pc_init_pci_1_4,

428

.compat_props = (GlobalProperty[]) {

429

PC_COMPAT_1_4{ .driver = "e1000", .property = "mitigation", .value = "off"
, },{ .driver = "qemu64-" "x86_64-cpu", .property = "model", .
value = "2", },{ .driver = "qemu32-" "x86_64-cpu", .property =
"model", .value = "3", },{ .driver = "i440FX-pcihost", .property
= "short_root_bus", .value = "1", },{ .driver = "q35-pcihost"
, .property = "short_root_bus", .value = "1", }, { .driver = "Conroe-"
"x86_64-cpu", .property = "model", .value = "2", },{ .driver
= "Conroe-" "x86_64-cpu", .property = "level", .value = "2",
},{ .driver = "Penryn-" "x86_64-cpu", .property = "model", .
value = "2", },{ .driver = "Penryn-" "x86_64-cpu", .property =
"level", .value = "2", },{ .driver = "Nehalem-" "x86_64-cpu"
, .property = "model", .value = "2", },{ .driver = "Nehalem-"
"x86_64-cpu", .property = "level", .value = "2", },{ .driver
= "virtio-net-pci", .property = "any_layout", .value = "off"
, },{ .driver = "x86_64-cpu", .property = "pmu", .value = "on"
, },{ .driver = "i440FX-pcihost", .property = "short_root_bus"
, .value = "0", },{ .driver = "q35-pcihost", .property = "short_root_bus"
, .value = "0", }, { .driver = "scsi-hd", .property = "discard_granularity"
, .value = "0", },{ .driver = "scsi-cd", .property = "discard_granularity"
, .value = "0", },{ .driver = "scsi-disk", .property = "discard_granularity"
, .value = "0", },{ .driver = "ide-hd", .property = "discard_granularity"
, .value = "0", },{ .driver = "ide-cd", .property = "discard_granularity"
, .value = "0", },{ .driver = "ide-drive", .property = "discard_granularity"
, .value = "0", },{ .driver = "virtio-blk-pci", .property = "discard_granularity"
, .value = "0", },{ .driver = "virtio-serial-pci", .property =
"vectors", .value = "0xFFFFFFFF", },{ .driver = "virtio-net-pci"
, .property = "ctrl_guest_offloads", .value = "off", },{ .driver
= "e1000", .property = "romfile", .value = "pxe-e1000.rom", }
,{ .driver = "ne2k_pci", .property = "romfile", .value = "pxe-ne2k_pci.rom"
, },{ .driver = "pcnet", .property = "romfile", .value = "pxe-pcnet.rom"
, },{ .driver = "rtl8139", .property = "romfile", .value = "pxe-rtl8139.rom"
, },{ .driver = "virtio-net-pci", .property = "romfile", .value
= "pxe-virtio.rom", },{ .driver = "486-" "x86_64-cpu", .property
= "model", .value = "0", },

430

{ /* end of list */ }

431

432

};

433

434

#define PC_COMPAT_1_3{ .driver = "e1000", .property = "mitigation", .value = "off"
, },{ .driver = "qemu64-" "x86_64-cpu", .property = "model", .
value = "2", },{ .driver = "qemu32-" "x86_64-cpu", .property =
"model", .value = "3", },{ .driver = "i440FX-pcihost", .property
= "short_root_bus", .value = "1", },{ .driver = "q35-pcihost"
, .property = "short_root_bus", .value = "1", }, { .driver = "Conroe-"
"x86_64-cpu", .property = "model", .value = "2", },{ .driver
= "Conroe-" "x86_64-cpu", .property = "level", .value = "2",
},{ .driver = "Penryn-" "x86_64-cpu", .property = "model", .
value = "2", },{ .driver = "Penryn-" "x86_64-cpu", .property =
"level", .value = "2", },{ .driver = "Nehalem-" "x86_64-cpu"
, .property = "model", .value = "2", },{ .driver = "Nehalem-"
"x86_64-cpu", .property = "level", .value = "2", },{ .driver
= "virtio-net-pci", .property = "any_layout", .value = "off"
, },{ .driver = "x86_64-cpu", .property = "pmu", .value = "on"
, },{ .driver = "i440FX-pcihost", .property = "short_root_bus"
, .value = "0", },{ .driver = "q35-pcihost", .property = "short_root_bus"
, .value = "0", }, { .driver = "scsi-hd", .property = "discard_granularity"
, .value = "0", },{ .driver = "scsi-cd", .property = "discard_granularity"
, .value = "0", },{ .driver = "scsi-disk", .property = "discard_granularity"
, .value = "0", },{ .driver = "ide-hd", .property = "discard_granularity"
, .value = "0", },{ .driver = "ide-cd", .property = "discard_granularity"
, .value = "0", },{ .driver = "ide-drive", .property = "discard_granularity"
, .value = "0", },{ .driver = "virtio-blk-pci", .property = "discard_granularity"
, .value = "0", },{ .driver = "virtio-serial-pci", .property =
"vectors", .value = "0xFFFFFFFF", },{ .driver = "virtio-net-pci"
, .property = "ctrl_guest_offloads", .value = "off", },{ .driver
= "e1000", .property = "romfile", .value = "pxe-e1000.rom", }
,{ .driver = "ne2k_pci", .property = "romfile", .value = "pxe-ne2k_pci.rom"
, },{ .driver = "pcnet", .property = "romfile", .value = "pxe-pcnet.rom"
, },{ .driver = "rtl8139", .property = "romfile", .value = "pxe-rtl8139.rom"
, },{ .driver = "virtio-net-pci", .property = "romfile", .value
= "pxe-virtio.rom", },{ .driver = "486-" "x86_64-cpu", .property
= "model", .value = "0", }, { .driver = "usb-tablet", .property
= "usb_version", .value = "1", },{ .driver = "virtio-net-pci"
, .property = "ctrl_mac_addr", .value = "off", },{ .driver = "virtio-net-pci"
, .property = "mq", .value = "off", }, { .driver = "e1000", .
property = "autonegotiation", .value = "off", } \

435

436

437

.driver = "usb-tablet",\

438

.property = "usb_version",\

439

.value = stringify(1)"1",\

440

},{\

441

.driver = "virtio-net-pci",\

442

.property = "ctrl_mac_addr",\

443

.value = "off", \

444

},{ \

445

.driver = "virtio-net-pci", \

446

.property = "mq", \

447

.value = "off", \

448

}, {\

449

.driver = "e1000",\

450

.property = "autonegotiation",\

451

.value = "off",\

452

}

453

454

static QEMUMachine pc_machine_v1_3 = {

455

456

.name = "pc-1.3",

457

.init = pc_init_pci_1_3,

458

.compat_props = (GlobalProperty[]) {

459

PC_COMPAT_1_3{ .driver = "e1000", .property = "mitigation", .value = "off"
, },{ .driver = "qemu64-" "x86_64-cpu", .property = "model", .
value = "2", },{ .driver = "qemu32-" "x86_64-cpu", .property =
"model", .value = "3", },{ .driver = "i440FX-pcihost", .property
= "short_root_bus", .value = "1", },{ .driver = "q35-pcihost"
, .property = "short_root_bus", .value = "1", }, { .driver = "Conroe-"
"x86_64-cpu", .property = "model", .value = "2", },{ .driver
= "Conroe-" "x86_64-cpu", .property = "level", .value = "2",
},{ .driver = "Penryn-" "x86_64-cpu", .property = "model", .
value = "2", },{ .driver = "Penryn-" "x86_64-cpu", .property =
"level", .value = "2", },{ .driver = "Nehalem-" "x86_64-cpu"
, .property = "model", .value = "2", },{ .driver = "Nehalem-"
"x86_64-cpu", .property = "level", .value = "2", },{ .driver
= "virtio-net-pci", .property = "any_layout", .value = "off"
, },{ .driver = "x86_64-cpu", .property = "pmu", .value = "on"
, },{ .driver = "i440FX-pcihost", .property = "short_root_bus"
, .value = "0", },{ .driver = "q35-pcihost", .property = "short_root_bus"
, .value = "0", }, { .driver = "scsi-hd", .property = "discard_granularity"
, .value = "0", },{ .driver = "scsi-cd", .property = "discard_granularity"
, .value = "0", },{ .driver = "scsi-disk", .property = "discard_granularity"
, .value = "0", },{ .driver = "ide-hd", .property = "discard_granularity"
, .value = "0", },{ .driver = "ide-cd", .property = "discard_granularity"
, .value = "0", },{ .driver = "ide-drive", .property = "discard_granularity"
, .value = "0", },{ .driver = "virtio-blk-pci", .property = "discard_granularity"
, .value = "0", },{ .driver = "virtio-serial-pci", .property =
"vectors", .value = "0xFFFFFFFF", },{ .driver = "virtio-net-pci"
, .property = "ctrl_guest_offloads", .value = "off", },{ .driver
= "e1000", .property = "romfile", .value = "pxe-e1000.rom", }
,{ .driver = "ne2k_pci", .property = "romfile", .value = "pxe-ne2k_pci.rom"
, },{ .driver = "pcnet", .property = "romfile", .value = "pxe-pcnet.rom"
, },{ .driver = "rtl8139", .property = "romfile", .value = "pxe-rtl8139.rom"
, },{ .driver = "virtio-net-pci", .property = "romfile", .value
= "pxe-virtio.rom", },{ .driver = "486-" "x86_64-cpu", .property
= "model", .value = "0", }, { .driver = "usb-tablet", .property
= "usb_version", .value = "1", },{ .driver = "virtio-net-pci"
, .property = "ctrl_mac_addr", .value = "off", },{ .driver = "virtio-net-pci"
, .property = "mq", .value = "off", }, { .driver = "e1000", .
property = "autonegotiation", .value = "off", },

460

{ /* end of list */ }

461

462

};

463

464

#define PC_COMPAT_1_2{ .driver = "e1000", .property = "mitigation", .value = "off"
, },{ .driver = "qemu64-" "x86_64-cpu", .property = "model", .
value = "2", },{ .driver = "qemu32-" "x86_64-cpu", .property =
"model", .value = "3", },{ .driver = "i440FX-pcihost", .property
= "short_root_bus", .value = "1", },{ .driver = "q35-pcihost"
, .property = "short_root_bus", .value = "1", }, { .driver = "Conroe-"
"x86_64-cpu", .property = "model", .value = "2", },{ .driver
= "Conroe-" "x86_64-cpu", .property = "level", .value = "2",
},{ .driver = "Penryn-" "x86_64-cpu", .property = "model", .
value = "2", },{ .driver = "Penryn-" "x86_64-cpu", .property =
"level", .value = "2", },{ .driver = "Nehalem-" "x86_64-cpu"
, .property = "model", .value = "2", },{ .driver = "Nehalem-"
"x86_64-cpu", .property = "level", .value = "2", },{ .driver
= "virtio-net-pci", .property = "any_layout", .value = "off"
, },{ .driver = "x86_64-cpu", .property = "pmu", .value = "on"
, },{ .driver = "i440FX-pcihost", .property = "short_root_bus"
, .value = "0", },{ .driver = "q35-pcihost", .property = "short_root_bus"
, .value = "0", }, { .driver = "scsi-hd", .property = "discard_granularity"
, .value = "0", },{ .driver = "scsi-cd", .property = "discard_granularity"
, .value = "0", },{ .driver = "scsi-disk", .property = "discard_granularity"
, .value = "0", },{ .driver = "ide-hd", .property = "discard_granularity"
, .value = "0", },{ .driver = "ide-cd", .property = "discard_granularity"
, .value = "0", },{ .driver = "ide-drive", .property = "discard_granularity"
, .value = "0", },{ .driver = "virtio-blk-pci", .property = "discard_granularity"
, .value = "0", },{ .driver = "virtio-serial-pci", .property =
"vectors", .value = "0xFFFFFFFF", },{ .driver = "virtio-net-pci"
, .property = "ctrl_guest_offloads", .value = "off", },{ .driver
= "e1000", .property = "romfile", .value = "pxe-e1000.rom", }
,{ .driver = "ne2k_pci", .property = "romfile", .value = "pxe-ne2k_pci.rom"
, },{ .driver = "pcnet", .property = "romfile", .value = "pxe-pcnet.rom"
, },{ .driver = "rtl8139", .property = "romfile", .value = "pxe-rtl8139.rom"
, },{ .driver = "virtio-net-pci", .property = "romfile", .value
= "pxe-virtio.rom", },{ .driver = "486-" "x86_64-cpu", .property
= "model", .value = "0", }, { .driver = "usb-tablet", .property
= "usb_version", .value = "1", },{ .driver = "virtio-net-pci"
, .property = "ctrl_mac_addr", .value = "off", },{ .driver = "virtio-net-pci"
, .property = "mq", .value = "off", }, { .driver = "e1000", .
property = "autonegotiation", .value = "off", }, { .driver = "nec-usb-xhci"
, .property = "msi", .value = "off", },{ .driver = "nec-usb-xhci"
, .property = "msix", .value = "off", },{ .driver = "ivshmem"
, .property = "use64", .value = "0", },{ .driver = "qxl", .property
= "revision", .value = "3", },{ .driver = "qxl-vga", .property
= "revision", .value = "3", },{ .driver = "VGA", .property =
"mmio", .value = "off", } \

465

466

467

.driver = "nec-usb-xhci",\

468

.property = "msi",\

469

.value = "off",\

470

},{\

471

.driver = "nec-usb-xhci",\

472

.property = "msix",\

473

.value = "off",\

474

},{\

475

.driver = "ivshmem",\

476

.property = "use64",\

477

.value = "0",\

478

},{\

479

.driver = "qxl",\

480

.property = "revision",\

481

.value = stringify(3)"3",\

482

},{\

483

.driver = "qxl-vga",\

484

.property = "revision",\

485

.value = stringify(3)"3",\

486

},{\

487

.driver = "VGA",\

488

.property = "mmio",\

489

.value = "off",\

490

}

491

492

#define PC_I440FX_1_2_MACHINE_OPTIONS.default_boot_order = "cad", .hot_add_cpu = pc_hot_add_cpu, .
max_cpus = 255, .desc = "Standard PC (i440FX + PIIX, 1996)", .
hot_add_cpu = pc_hot_add_cpu, .hot_add_cpu = ((void*)0), .init
= pc_init_pci_1_2 \

493

494

.init = pc_init_pci_1_2

495

496

static QEMUMachine pc_machine_v1_2 = {

497

PC_I440FX_1_2_MACHINE_OPTIONS.default_boot_order = "cad", .hot_add_cpu = pc_hot_add_cpu, .
max_cpus = 255, .desc = "Standard PC (i440FX + PIIX, 1996)", .
hot_add_cpu = pc_hot_add_cpu, .hot_add_cpu = ((void*)0), .init
= pc_init_pci_1_2,

498

.name = "pc-1.2",

499

.compat_props = (GlobalProperty[]) {

500

PC_COMPAT_1_2{ .driver = "e1000", .property = "mitigation", .value = "off"
, },{ .driver = "qemu64-" "x86_64-cpu", .property = "model", .
value = "2", },{ .driver = "qemu32-" "x86_64-cpu", .property =
"model", .value = "3", },{ .driver = "i440FX-pcihost", .property
= "short_root_bus", .value = "1", },{ .driver = "q35-pcihost"
, .property = "short_root_bus", .value = "1", }, { .driver = "Conroe-"
"x86_64-cpu", .property = "model", .value = "2", },{ .driver
= "Conroe-" "x86_64-cpu", .property = "level", .value = "2",
},{ .driver = "Penryn-" "x86_64-cpu", .property = "model", .
value = "2", },{ .driver = "Penryn-" "x86_64-cpu", .property =
"level", .value = "2", },{ .driver = "Nehalem-" "x86_64-cpu"
, .property = "model", .value = "2", },{ .driver = "Nehalem-"
"x86_64-cpu", .property = "level", .value = "2", },{ .driver
= "virtio-net-pci", .property = "any_layout", .value = "off"
, },{ .driver = "x86_64-cpu", .property = "pmu", .value = "on"
, },{ .driver = "i440FX-pcihost", .property = "short_root_bus"
, .value = "0", },{ .driver = "q35-pcihost", .property = "short_root_bus"
, .value = "0", }, { .driver = "scsi-hd", .property = "discard_granularity"
, .value = "0", },{ .driver = "scsi-cd", .property = "discard_granularity"
, .value = "0", },{ .driver = "scsi-disk", .property = "discard_granularity"
, .value = "0", },{ .driver = "ide-hd", .property = "discard_granularity"
, .value = "0", },{ .driver = "ide-cd", .property = "discard_granularity"
, .value = "0", },{ .driver = "ide-drive", .property = "discard_granularity"
, .value = "0", },{ .driver = "virtio-blk-pci", .property = "discard_granularity"
, .value = "0", },{ .driver = "virtio-serial-pci", .property =
"vectors", .value = "0xFFFFFFFF", },{ .driver = "virtio-net-pci"
, .property = "ctrl_guest_offloads", .value = "off", },{ .driver
= "e1000", .property = "romfile", .value = "pxe-e1000.rom", }
,{ .driver = "ne2k_pci", .property = "romfile", .value = "pxe-ne2k_pci.rom"
, },{ .driver = "pcnet", .property = "romfile", .value = "pxe-pcnet.rom"
, },{ .driver = "rtl8139", .property = "romfile", .value = "pxe-rtl8139.rom"
, },{ .driver = "virtio-net-pci", .property = "romfile", .value
= "pxe-virtio.rom", },{ .driver = "486-" "x86_64-cpu", .property
= "model", .value = "0", }, { .driver = "usb-tablet", .property
= "usb_version", .value = "1", },{ .driver = "virtio-net-pci"
, .property = "ctrl_mac_addr", .value = "off", },{ .driver = "virtio-net-pci"
, .property = "mq", .value = "off", }, { .driver = "e1000", .
property = "autonegotiation", .value = "off", }, { .driver = "nec-usb-xhci"
, .property = "msi", .value = "off", },{ .driver = "nec-usb-xhci"
, .property = "msix", .value = "off", },{ .driver = "ivshmem"
, .property = "use64", .value = "0", },{ .driver = "qxl", .property
= "revision", .value = "3", },{ .driver = "qxl-vga", .property
= "revision", .value = "3", },{ .driver = "VGA", .property =
"mmio", .value = "off", },

501

{ /* end of list */ }

502

503

};

504

505

#define PC_COMPAT_1_1{ .driver = "e1000", .property = "mitigation", .value = "off"
, },{ .driver = "qemu64-" "x86_64-cpu", .property = "model", .
value = "2", },{ .driver = "qemu32-" "x86_64-cpu", .property =
"model", .value = "3", },{ .driver = "i440FX-pcihost", .property
= "short_root_bus", .value = "1", },{ .driver = "q35-pcihost"
, .property = "short_root_bus", .value = "1", }, { .driver = "Conroe-"
"x86_64-cpu", .property = "model", .value = "2", },{ .driver
= "Conroe-" "x86_64-cpu", .property = "level", .value = "2",
},{ .driver = "Penryn-" "x86_64-cpu", .property = "model", .
value = "2", },{ .driver = "Penryn-" "x86_64-cpu", .property =
"level", .value = "2", },{ .driver = "Nehalem-" "x86_64-cpu"
, .property = "model", .value = "2", },{ .driver = "Nehalem-"
"x86_64-cpu", .property = "level", .value = "2", },{ .driver
= "virtio-net-pci", .property = "any_layout", .value = "off"
, },{ .driver = "x86_64-cpu", .property = "pmu", .value = "on"
, },{ .driver = "i440FX-pcihost", .property = "short_root_bus"
, .value = "0", },{ .driver = "q35-pcihost", .property = "short_root_bus"
, .value = "0", }, { .driver = "scsi-hd", .property = "discard_granularity"
, .value = "0", },{ .driver = "scsi-cd", .property = "discard_granularity"
, .value = "0", },{ .driver = "scsi-disk", .property = "discard_granularity"
, .value = "0", },{ .driver = "ide-hd", .property = "discard_granularity"
, .value = "0", },{ .driver = "ide-cd", .property = "discard_granularity"
, .value = "0", },{ .driver = "ide-drive", .property = "discard_granularity"
, .value = "0", },{ .driver = "virtio-blk-pci", .property = "discard_granularity"
, .value = "0", },{ .driver = "virtio-serial-pci", .property =
"vectors", .value = "0xFFFFFFFF", },{ .driver = "virtio-net-pci"
, .property = "ctrl_guest_offloads", .value = "off", },{ .driver
= "e1000", .property = "romfile", .value = "pxe-e1000.rom", }
,{ .driver = "ne2k_pci", .property = "romfile", .value = "pxe-ne2k_pci.rom"
, },{ .driver = "pcnet", .property = "romfile", .value = "pxe-pcnet.rom"
, },{ .driver = "rtl8139", .property = "romfile", .value = "pxe-rtl8139.rom"
, },{ .driver = "virtio-net-pci", .property = "romfile", .value
= "pxe-virtio.rom", },{ .driver = "486-" "x86_64-cpu", .property
= "model", .value = "0", }, { .driver = "usb-tablet", .property
= "usb_version", .value = "1", },{ .driver = "virtio-net-pci"
, .property = "ctrl_mac_addr", .value = "off", },{ .driver = "virtio-net-pci"
, .property = "mq", .value = "off", }, { .driver = "e1000", .
property = "autonegotiation", .value = "off", }, { .driver = "nec-usb-xhci"
, .property = "msi", .value = "off", },{ .driver = "nec-usb-xhci"
, .property = "msix", .value = "off", },{ .driver = "ivshmem"
, .property = "use64", .value = "0", },{ .driver = "qxl", .property
= "revision", .value = "3", },{ .driver = "qxl-vga", .property
= "revision", .value = "3", },{ .driver = "VGA", .property =
"mmio", .value = "off", }, { .driver = "virtio-scsi-pci", .property
= "hotplug", .value = "off", },{ .driver = "virtio-scsi-pci"
, .property = "param_change", .value = "off", },{ .driver = "VGA"
, .property = "vgamem_mb", .value = "8", },{ .driver = "vmware-svga"
, .property = "vgamem_mb", .value = "8", },{ .driver = "qxl-vga"
, .property = "vgamem_mb", .value = "8", },{ .driver = "qxl",
.property = "vgamem_mb", .value = "8", },{ .driver = "virtio-blk-pci"
, .property = "config-wce", .value = "off", } \

506

507

508

.driver = "virtio-scsi-pci",\

509

.property = "hotplug",\

510

.value = "off",\

511

},{\

512

.driver = "virtio-scsi-pci",\

513

.property = "param_change",\

514

.value = "off",\

515

},{\

516

.driver = "VGA",\

517

.property = "vgamem_mb",\

518

.value = stringify(8)"8",\

519

},{\

520

.driver = "vmware-svga",\

521

.property = "vgamem_mb",\

522

.value = stringify(8)"8",\

523

},{\

524

.driver = "qxl-vga",\

525

.property = "vgamem_mb",\

526

.value = stringify(8)"8",\

527

},{\

528

.driver = "qxl",\

529

.property = "vgamem_mb",\

530

.value = stringify(8)"8",\

531

},{\

532

.driver = "virtio-blk-pci",\

533

.property = "config-wce",\

534

.value = "off",\

535

}

536

537

static QEMUMachine pc_machine_v1_1 = {

538

539

.name = "pc-1.1",

540

.compat_props = (GlobalProperty[]) {

541

PC_COMPAT_1_1{ .driver = "e1000", .property = "mitigation", .value = "off"
, },{ .driver = "qemu64-" "x86_64-cpu", .property = "model", .
value = "2", },{ .driver = "qemu32-" "x86_64-cpu", .property =
"model", .value = "3", },{ .driver = "i440FX-pcihost", .property
= "short_root_bus", .value = "1", },{ .driver = "q35-pcihost"
, .property = "short_root_bus", .value = "1", }, { .driver = "Conroe-"
"x86_64-cpu", .property = "model", .value = "2", },{ .driver
= "Conroe-" "x86_64-cpu", .property = "level", .value = "2",
},{ .driver = "Penryn-" "x86_64-cpu", .property = "model", .
value = "2", },{ .driver = "Penryn-" "x86_64-cpu", .property =
"level", .value = "2", },{ .driver = "Nehalem-" "x86_64-cpu"
, .property = "model", .value = "2", },{ .driver = "Nehalem-"
"x86_64-cpu", .property = "level", .value = "2", },{ .driver
= "virtio-net-pci", .property = "any_layout", .value = "off"
, },{ .driver = "x86_64-cpu", .property = "pmu", .value = "on"
, },{ .driver = "i440FX-pcihost", .property = "short_root_bus"
, .value = "0", },{ .driver = "q35-pcihost", .property = "short_root_bus"
, .value = "0", }, { .driver = "scsi-hd", .property = "discard_granularity"
, .value = "0", },{ .driver = "scsi-cd", .property = "discard_granularity"
, .value = "0", },{ .driver = "scsi-disk", .property = "discard_granularity"
, .value = "0", },{ .driver = "ide-hd", .property = "discard_granularity"
, .value = "0", },{ .driver = "ide-cd", .property = "discard_granularity"
, .value = "0", },{ .driver = "ide-drive", .property = "discard_granularity"
, .value = "0", },{ .driver = "virtio-blk-pci", .property = "discard_granularity"
, .value = "0", },{ .driver = "virtio-serial-pci", .property =
"vectors", .value = "0xFFFFFFFF", },{ .driver = "virtio-net-pci"
, .property = "ctrl_guest_offloads", .value = "off", },{ .driver
= "e1000", .property = "romfile", .value = "pxe-e1000.rom", }
,{ .driver = "ne2k_pci", .property = "romfile", .value = "pxe-ne2k_pci.rom"
, },{ .driver = "pcnet", .property = "romfile", .value = "pxe-pcnet.rom"
, },{ .driver = "rtl8139", .property = "romfile", .value = "pxe-rtl8139.rom"
, },{ .driver = "virtio-net-pci", .property = "romfile", .value
= "pxe-virtio.rom", },{ .driver = "486-" "x86_64-cpu", .property
= "model", .value = "0", }, { .driver = "usb-tablet", .property
= "usb_version", .value = "1", },{ .driver = "virtio-net-pci"
, .property = "ctrl_mac_addr", .value = "off", },{ .driver = "virtio-net-pci"
, .property = "mq", .value = "off", }, { .driver = "e1000", .
property = "autonegotiation", .value = "off", }, { .driver = "nec-usb-xhci"
, .property = "msi", .value = "off", },{ .driver = "nec-usb-xhci"
, .property = "msix", .value = "off", },{ .driver = "ivshmem"
, .property = "use64", .value = "0", },{ .driver = "qxl", .property
= "revision", .value = "3", },{ .driver = "qxl-vga", .property
= "revision", .value = "3", },{ .driver = "VGA", .property =
"mmio", .value = "off", }, { .driver = "virtio-scsi-pci", .property
= "hotplug", .value = "off", },{ .driver = "virtio-scsi-pci"
, .property = "param_change", .value = "off", },{ .driver = "VGA"
, .property = "vgamem_mb", .value = "8", },{ .driver = "vmware-svga"
, .property = "vgamem_mb", .value = "8", },{ .driver = "qxl-vga"
, .property = "vgamem_mb", .value = "8", },{ .driver = "qxl",
.property = "vgamem_mb", .value = "8", },{ .driver = "virtio-blk-pci"
, .property = "config-wce", .value = "off", },

542

{ /* end of list */ }

543

544

};

545

546

#define PC_COMPAT_1_0{ .driver = "e1000", .property = "mitigation", .value = "off"
, },{ .driver = "qemu64-" "x86_64-cpu", .property = "model", .
value = "2", },{ .driver = "qemu32-" "x86_64-cpu", .property =
"model", .value = "3", },{ .driver = "i440FX-pcihost", .property
= "short_root_bus", .value = "1", },{ .driver = "q35-pcihost"
, .property = "short_root_bus", .value = "1", }, { .driver = "Conroe-"
"x86_64-cpu", .property = "model", .value = "2", },{ .driver
= "Conroe-" "x86_64-cpu", .property = "level", .value = "2",
},{ .driver = "Penryn-" "x86_64-cpu", .property = "model", .
value = "2", },{ .driver = "Penryn-" "x86_64-cpu", .property =
"level", .value = "2", },{ .driver = "Nehalem-" "x86_64-cpu"
, .property = "model", .value = "2", },{ .driver = "Nehalem-"
"x86_64-cpu", .property = "level", .value = "2", },{ .driver
= "virtio-net-pci", .property = "any_layout", .value = "off"
, },{ .driver = "x86_64-cpu", .property = "pmu", .value = "on"
, },{ .driver = "i440FX-pcihost", .property = "short_root_bus"
, .value = "0", },{ .driver = "q35-pcihost", .property = "short_root_bus"
, .value = "0", }, { .driver = "scsi-hd", .property = "discard_granularity"
, .value = "0", },{ .driver = "scsi-cd", .property = "discard_granularity"
, .value = "0", },{ .driver = "scsi-disk", .property = "discard_granularity"
, .value = "0", },{ .driver = "ide-hd", .property = "discard_granularity"
, .value = "0", },{ .driver = "ide-cd", .property = "discard_granularity"
, .value = "0", },{ .driver = "ide-drive", .property = "discard_granularity"
, .value = "0", },{ .driver = "virtio-blk-pci", .property = "discard_granularity"
, .value = "0", },{ .driver = "virtio-serial-pci", .property =
"vectors", .value = "0xFFFFFFFF", },{ .driver = "virtio-net-pci"
, .property = "ctrl_guest_offloads", .value = "off", },{ .driver
= "e1000", .property = "romfile", .value = "pxe-e1000.rom", }
,{ .driver = "ne2k_pci", .property = "romfile", .value = "pxe-ne2k_pci.rom"
, },{ .driver = "pcnet", .property = "romfile", .value = "pxe-pcnet.rom"
, },{ .driver = "rtl8139", .property = "romfile", .value = "pxe-rtl8139.rom"
, },{ .driver = "virtio-net-pci", .property = "romfile", .value
= "pxe-virtio.rom", },{ .driver = "486-" "x86_64-cpu", .property
= "model", .value = "0", }, { .driver = "usb-tablet", .property
= "usb_version", .value = "1", },{ .driver = "virtio-net-pci"
, .property = "ctrl_mac_addr", .value = "off", },{ .driver = "virtio-net-pci"
, .property = "mq", .value = "off", }, { .driver = "e1000", .
property = "autonegotiation", .value = "off", }, { .driver = "nec-usb-xhci"
, .property = "msi", .value = "off", },{ .driver = "nec-usb-xhci"
, .property = "msix", .value = "off", },{ .driver = "ivshmem"
, .property = "use64", .value = "0", },{ .driver = "qxl", .property
= "revision", .value = "3", },{ .driver = "qxl-vga", .property
= "revision", .value = "3", },{ .driver = "VGA", .property =
"mmio", .value = "off", }, { .driver = "virtio-scsi-pci", .property
= "hotplug", .value = "off", },{ .driver = "virtio-scsi-pci"
, .property = "param_change", .value = "off", },{ .driver = "VGA"
, .property = "vgamem_mb", .value = "8", },{ .driver = "vmware-svga"
, .property = "vgamem_mb", .value = "8", },{ .driver = "qxl-vga"
, .property = "vgamem_mb", .value = "8", },{ .driver = "qxl",
.property = "vgamem_mb", .value = "8", },{ .driver = "virtio-blk-pci"
, .property = "config-wce", .value = "off", }, { .driver = "isa-fdc"
, .property = "check_media_rate", .value = "off", }, { .driver
= "virtio-balloon-pci", .property = "class", .value = "0x0500"
, },{ .driver = "apic", .property = "vapic", .value = "off", }
,{ .driver = "usb-device", .property = "full-path", .value = "no"
, } \

547

548

549

.driver = TYPE_ISA_FDC"isa-fdc",\

550

.property = "check_media_rate",\

551

.value = "off",\

552

}, {\

553

.driver = "virtio-balloon-pci",\

554

.property = "class",\

555

.value = stringify(PCI_CLASS_MEMORY_RAM)"0x0500",\

556

},{\

557

.driver = "apic",\

558

.property = "vapic",\

559

.value = "off",\

560

},{\

561

.driver = TYPE_USB_DEVICE"usb-device",\

562

.property = "full-path",\

563

.value = "no",\

564

}

565

566

static QEMUMachine pc_machine_v1_0 = {

567

568

.name = "pc-1.0",

569

.compat_props = (GlobalProperty[]) {

570

PC_COMPAT_1_0{ .driver = "e1000", .property = "mitigation", .value = "off"
, },{ .driver = "qemu64-" "x86_64-cpu", .property = "model", .
value = "2", },{ .driver = "qemu32-" "x86_64-cpu", .property =
"model", .value = "3", },{ .driver = "i440FX-pcihost", .property
= "short_root_bus", .value = "1", },{ .driver = "q35-pcihost"
, .property = "short_root_bus", .value = "1", }, { .driver = "Conroe-"
"x86_64-cpu", .property = "model", .value = "2", },{ .driver
= "Conroe-" "x86_64-cpu", .property = "level", .value = "2",
},{ .driver = "Penryn-" "x86_64-cpu", .property = "model", .
value = "2", },{ .driver = "Penryn-" "x86_64-cpu", .property =
"level", .value = "2", },{ .driver = "Nehalem-" "x86_64-cpu"
, .property = "model", .value = "2", },{ .driver = "Nehalem-"
"x86_64-cpu", .property = "level", .value = "2", },{ .driver
= "virtio-net-pci", .property = "any_layout", .value = "off"
, },{ .driver = "x86_64-cpu", .property = "pmu", .value = "on"
, },{ .driver = "i440FX-pcihost", .property = "short_root_bus"
, .value = "0", },{ .driver = "q35-pcihost", .property = "short_root_bus"
, .value = "0", }, { .driver = "scsi-hd", .property = "discard_granularity"
, .value = "0", },{ .driver = "scsi-cd", .property = "discard_granularity"
, .value = "0", },{ .driver = "scsi-disk", .property = "discard_granularity"
, .value = "0", },{ .driver = "ide-hd", .property = "discard_granularity"
, .value = "0", },{ .driver = "ide-cd", .property = "discard_granularity"
, .value = "0", },{ .driver = "ide-drive", .property = "discard_granularity"
, .value = "0", },{ .driver = "virtio-blk-pci", .property = "discard_granularity"
, .value = "0", },{ .driver = "virtio-serial-pci", .property =
"vectors", .value = "0xFFFFFFFF", },{ .driver = "virtio-net-pci"
, .property = "ctrl_guest_offloads", .value = "off", },{ .driver
= "e1000", .property = "romfile", .value = "pxe-e1000.rom", }
,{ .driver = "ne2k_pci", .property = "romfile", .value = "pxe-ne2k_pci.rom"
, },{ .driver = "pcnet", .property = "romfile", .value = "pxe-pcnet.rom"
, },{ .driver = "rtl8139", .property = "romfile", .value = "pxe-rtl8139.rom"
, },{ .driver = "virtio-net-pci", .property = "romfile", .value
= "pxe-virtio.rom", },{ .driver = "486-" "x86_64-cpu", .property
= "model", .value = "0", }, { .driver = "usb-tablet", .property
= "usb_version", .value = "1", },{ .driver = "virtio-net-pci"
, .property = "ctrl_mac_addr", .value = "off", },{ .driver = "virtio-net-pci"
, .property = "mq", .value = "off", }, { .driver = "e1000", .
property = "autonegotiation", .value = "off", }, { .driver = "nec-usb-xhci"
, .property = "msi", .value = "off", },{ .driver = "nec-usb-xhci"
, .property = "msix", .value = "off", },{ .driver = "ivshmem"
, .property = "use64", .value = "0", },{ .driver = "qxl", .property
= "revision", .value = "3", },{ .driver = "qxl-vga", .property
= "revision", .value = "3", },{ .driver = "VGA", .property =
"mmio", .value = "off", }, { .driver = "virtio-scsi-pci", .property
= "hotplug", .value = "off", },{ .driver = "virtio-scsi-pci"
, .property = "param_change", .value = "off", },{ .driver = "VGA"
, .property = "vgamem_mb", .value = "8", },{ .driver = "vmware-svga"
, .property = "vgamem_mb", .value = "8", },{ .driver = "qxl-vga"
, .property = "vgamem_mb", .value = "8", },{ .driver = "qxl",
.property = "vgamem_mb", .value = "8", },{ .driver = "virtio-blk-pci"
, .property = "config-wce", .value = "off", }, { .driver = "isa-fdc"
, .property = "check_media_rate", .value = "off", }, { .driver
= "virtio-balloon-pci", .property = "class", .value = "0x0500"
, },{ .driver = "apic", .property = "vapic", .value = "off", }
,{ .driver = "usb-device", .property = "full-path", .value = "no"
, },

571

{ /* end of list */ }

572

573

.hw_version = "1.0",

574

};

575

576

#define PC_COMPAT_0_15{ .driver = "e1000", .property = "mitigation", .value = "off"
, },{ .driver = "qemu64-" "x86_64-cpu", .property = "model", .
value = "2", },{ .driver = "qemu32-" "x86_64-cpu", .property =
"model", .value = "3", },{ .driver = "i440FX-pcihost", .property
= "short_root_bus", .value = "1", },{ .driver = "q35-pcihost"
, .property = "short_root_bus", .value = "1", }, { .driver = "Conroe-"
"x86_64-cpu", .property = "model", .value = "2", },{ .driver
= "Conroe-" "x86_64-cpu", .property = "level", .value = "2",
},{ .driver = "Penryn-" "x86_64-cpu", .property = "model", .
value = "2", },{ .driver = "Penryn-" "x86_64-cpu", .property =
"level", .value = "2", },{ .driver = "Nehalem-" "x86_64-cpu"
, .property = "model", .value = "2", },{ .driver = "Nehalem-"
"x86_64-cpu", .property = "level", .value = "2", },{ .driver
= "virtio-net-pci", .property = "any_layout", .value = "off"
, },{ .driver = "x86_64-cpu", .property = "pmu", .value = "on"
, },{ .driver = "i440FX-pcihost", .property = "short_root_bus"
, .value = "0", },{ .driver = "q35-pcihost", .property = "short_root_bus"
, .value = "0", }, { .driver = "scsi-hd", .property = "discard_granularity"
, .value = "0", },{ .driver = "scsi-cd", .property = "discard_granularity"
, .value = "0", },{ .driver = "scsi-disk", .property = "discard_granularity"
, .value = "0", },{ .driver = "ide-hd", .property = "discard_granularity"
, .value = "0", },{ .driver = "ide-cd", .property = "discard_granularity"
, .value = "0", },{ .driver = "ide-drive", .property = "discard_granularity"
, .value = "0", },{ .driver = "virtio-blk-pci", .property = "discard_granularity"
, .value = "0", },{ .driver = "virtio-serial-pci", .property =
"vectors", .value = "0xFFFFFFFF", },{ .driver = "virtio-net-pci"
, .property = "ctrl_guest_offloads", .value = "off", },{ .driver
= "e1000", .property = "romfile", .value = "pxe-e1000.rom", }
,{ .driver = "ne2k_pci", .property = "romfile", .value = "pxe-ne2k_pci.rom"
, },{ .driver = "pcnet", .property = "romfile", .value = "pxe-pcnet.rom"
, },{ .driver = "rtl8139", .property = "romfile", .value = "pxe-rtl8139.rom"
, },{ .driver = "virtio-net-pci", .property = "romfile", .value
= "pxe-virtio.rom", },{ .driver = "486-" "x86_64-cpu", .property
= "model", .value = "0", }, { .driver = "usb-tablet", .property
= "usb_version", .value = "1", },{ .driver = "virtio-net-pci"
, .property = "ctrl_mac_addr", .value = "off", },{ .driver = "virtio-net-pci"
, .property = "mq", .value = "off", }, { .driver = "e1000", .
property = "autonegotiation", .value = "off", }, { .driver = "nec-usb-xhci"
, .property = "msi", .value = "off", },{ .driver = "nec-usb-xhci"
, .property = "msix", .value = "off", },{ .driver = "ivshmem"
, .property = "use64", .value = "0", },{ .driver = "qxl", .property
= "revision", .value = "3", },{ .driver = "qxl-vga", .property
= "revision", .value = "3", },{ .driver = "VGA", .property =
"mmio", .value = "off", }, { .driver = "virtio-scsi-pci", .property
= "hotplug", .value = "off", },{ .driver = "virtio-scsi-pci"
, .property = "param_change", .value = "off", },{ .driver = "VGA"
, .property = "vgamem_mb", .value = "8", },{ .driver = "vmware-svga"
, .property = "vgamem_mb", .value = "8", },{ .driver = "qxl-vga"
, .property = "vgamem_mb", .value = "8", },{ .driver = "qxl",
.property = "vgamem_mb", .value = "8", },{ .driver = "virtio-blk-pci"
, .property = "config-wce", .value = "off", }, { .driver = "isa-fdc"
, .property = "check_media_rate", .value = "off", }, { .driver
= "virtio-balloon-pci", .property = "class", .value = "0x0500"
, },{ .driver = "apic", .property = "vapic", .value = "off", }
,{ .driver = "usb-device", .property = "full-path", .value = "no"
, } \

577

578

579

static QEMUMachine pc_machine_v0_15 = {

580

581

.name = "pc-0.15",

582

.compat_props = (GlobalProperty[]) {

583

PC_COMPAT_0_15{ .driver = "e1000", .property = "mitigation", .value = "off"
, },{ .driver = "qemu64-" "x86_64-cpu", .property = "model", .
value = "2", },{ .driver = "qemu32-" "x86_64-cpu", .property =
"model", .value = "3", },{ .driver = "i440FX-pcihost", .property
= "short_root_bus", .value = "1", },{ .driver = "q35-pcihost"
, .property = "short_root_bus", .value = "1", }, { .driver = "Conroe-"
"x86_64-cpu", .property = "model", .value = "2", },{ .driver
= "Conroe-" "x86_64-cpu", .property = "level", .value = "2",
},{ .driver = "Penryn-" "x86_64-cpu", .property = "model", .
value = "2", },{ .driver = "Penryn-" "x86_64-cpu", .property =
"level", .value = "2", },{ .driver = "Nehalem-" "x86_64-cpu"
, .property = "model", .value = "2", },{ .driver = "Nehalem-"
"x86_64-cpu", .property = "level", .value = "2", },{ .driver
= "virtio-net-pci", .property = "any_layout", .value = "off"
, },{ .driver = "x86_64-cpu", .property = "pmu", .value = "on"
, },{ .driver = "i440FX-pcihost", .property = "short_root_bus"
, .value = "0", },{ .driver = "q35-pcihost", .property = "short_root_bus"
, .value = "0", }, { .driver = "scsi-hd", .property = "discard_granularity"
, .value = "0", },{ .driver = "scsi-cd", .property = "discard_granularity"
, .value = "0", },{ .driver = "scsi-disk", .property = "discard_granularity"
, .value = "0", },{ .driver = "ide-hd", .property = "discard_granularity"
, .value = "0", },{ .driver = "ide-cd", .property = "discard_granularity"
, .value = "0", },{ .driver = "ide-drive", .property = "discard_granularity"
, .value = "0", },{ .driver = "virtio-blk-pci", .property = "discard_granularity"
, .value = "0", },{ .driver = "virtio-serial-pci", .property =
"vectors", .value = "0xFFFFFFFF", },{ .driver = "virtio-net-pci"
, .property = "ctrl_guest_offloads", .value = "off", },{ .driver
= "e1000", .property = "romfile", .value = "pxe-e1000.rom", }
,{ .driver = "ne2k_pci", .property = "romfile", .value = "pxe-ne2k_pci.rom"
, },{ .driver = "pcnet", .property = "romfile", .value = "pxe-pcnet.rom"
, },{ .driver = "rtl8139", .property = "romfile", .value = "pxe-rtl8139.rom"
, },{ .driver = "virtio-net-pci", .property = "romfile", .value
= "pxe-virtio.rom", },{ .driver = "486-" "x86_64-cpu", .property
= "model", .value = "0", }, { .driver = "usb-tablet", .property
= "usb_version", .value = "1", },{ .driver = "virtio-net-pci"
, .property = "ctrl_mac_addr", .value = "off", },{ .driver = "virtio-net-pci"
, .property = "mq", .value = "off", }, { .driver = "e1000", .
property = "autonegotiation", .value = "off", }, { .driver = "nec-usb-xhci"
, .property = "msi", .value = "off", },{ .driver = "nec-usb-xhci"
, .property = "msix", .value = "off", },{ .driver = "ivshmem"
, .property = "use64", .value = "0", },{ .driver = "qxl", .property
= "revision", .value = "3", },{ .driver = "qxl-vga", .property
= "revision", .value = "3", },{ .driver = "VGA", .property =
"mmio", .value = "off", }, { .driver = "virtio-scsi-pci", .property
= "hotplug", .value = "off", },{ .driver = "virtio-scsi-pci"
, .property = "param_change", .value = "off", },{ .driver = "VGA"
, .property = "vgamem_mb", .value = "8", },{ .driver = "vmware-svga"
, .property = "vgamem_mb", .value = "8", },{ .driver = "qxl-vga"
, .property = "vgamem_mb", .value = "8", },{ .driver = "qxl",
.property = "vgamem_mb", .value = "8", },{ .driver = "virtio-blk-pci"
, .property = "config-wce", .value = "off", }, { .driver = "isa-fdc"
, .property = "check_media_rate", .value = "off", }, { .driver
= "virtio-balloon-pci", .property = "class", .value = "0x0500"
, },{ .driver = "apic", .property = "vapic", .value = "off", }
,{ .driver = "usb-device", .property = "full-path", .value = "no"
, },

584

{ /* end of list */ }

585

586

.hw_version = "0.15",

587

};

588

589

#define PC_COMPAT_0_14{ .driver = "e1000", .property = "mitigation", .value = "off"
, },{ .driver = "qemu64-" "x86_64-cpu", .property = "model", .
value = "2", },{ .driver = "qemu32-" "x86_64-cpu", .property =
"model", .value = "3", },{ .driver = "i440FX-pcihost", .property
= "short_root_bus", .value = "1", },{ .driver = "q35-pcihost"
, .property = "short_root_bus", .value = "1", }, { .driver = "Conroe-"
"x86_64-cpu", .property = "model", .value = "2", },{ .driver
= "Conroe-" "x86_64-cpu", .property = "level", .value = "2",
},{ .driver = "Penryn-" "x86_64-cpu", .property = "model", .
value = "2", },{ .driver = "Penryn-" "x86_64-cpu", .property =
"level", .value = "2", },{ .driver = "Nehalem-" "x86_64-cpu"
, .property = "model", .value = "2", },{ .driver = "Nehalem-"
"x86_64-cpu", .property = "level", .value = "2", },{ .driver
= "virtio-net-pci", .property = "any_layout", .value = "off"
, },{ .driver = "x86_64-cpu", .property = "pmu", .value = "on"
, },{ .driver = "i440FX-pcihost", .property = "short_root_bus"
, .value = "0", },{ .driver = "q35-pcihost", .property = "short_root_bus"
, .value = "0", }, { .driver = "scsi-hd", .property = "discard_granularity"
, .value = "0", },{ .driver = "scsi-cd", .property = "discard_granularity"
, .value = "0", },{ .driver = "scsi-disk", .property = "discard_granularity"
, .value = "0", },{ .driver = "ide-hd", .property = "discard_granularity"
, .value = "0", },{ .driver = "ide-cd", .property = "discard_granularity"
, .value = "0", },{ .driver = "ide-drive", .property = "discard_granularity"
, .value = "0", },{ .driver = "virtio-blk-pci", .property = "discard_granularity"
, .value = "0", },{ .driver = "virtio-serial-pci", .property =
"vectors", .value = "0xFFFFFFFF", },{ .driver = "virtio-net-pci"
, .property = "ctrl_guest_offloads", .value = "off", },{ .driver
= "e1000", .property = "romfile", .value = "pxe-e1000.rom", }
,{ .driver = "ne2k_pci", .property = "romfile", .value = "pxe-ne2k_pci.rom"
, },{ .driver = "pcnet", .property = "romfile", .value = "pxe-pcnet.rom"
, },{ .driver = "rtl8139", .property = "romfile", .value = "pxe-rtl8139.rom"
, },{ .driver = "virtio-net-pci", .property = "romfile", .value
= "pxe-virtio.rom", },{ .driver = "486-" "x86_64-cpu", .property
= "model", .value = "0", }, { .driver = "usb-tablet", .property
= "usb_version", .value = "1", },{ .driver = "virtio-net-pci"
, .property = "ctrl_mac_addr", .value = "off", },{ .driver = "virtio-net-pci"
, .property = "mq", .value = "off", }, { .driver = "e1000", .
property = "autonegotiation", .value = "off", }, { .driver = "nec-usb-xhci"
, .property = "msi", .value = "off", },{ .driver = "nec-usb-xhci"
, .property = "msix", .value = "off", },{ .driver = "ivshmem"
, .property = "use64", .value = "0", },{ .driver = "qxl", .property
= "revision", .value = "3", },{ .driver = "qxl-vga", .property
= "revision", .value = "3", },{ .driver = "VGA", .property =
"mmio", .value = "off", }, { .driver = "virtio-scsi-pci", .property
= "hotplug", .value = "off", },{ .driver = "virtio-scsi-pci"
, .property = "param_change", .value = "off", },{ .driver = "VGA"
, .property = "vgamem_mb", .value = "8", },{ .driver = "vmware-svga"
, .property = "vgamem_mb", .value = "8", },{ .driver = "qxl-vga"
, .property = "vgamem_mb", .value = "8", },{ .driver = "qxl",
.property = "vgamem_mb", .value = "8", },{ .driver = "virtio-blk-pci"
, .property = "config-wce", .value = "off", }, { .driver = "isa-fdc"
, .property = "check_media_rate", .value = "off", }, { .driver
= "virtio-balloon-pci", .property = "class", .value = "0x0500"
, },{ .driver = "apic", .property = "vapic", .value = "off", }
,{ .driver = "usb-device", .property = "full-path", .value = "no"
, }, { .driver = "virtio-blk-pci", .property = "event_idx", .
value = "off", },{ .driver = "virtio-serial-pci", .property =
"event_idx", .value = "off", },{ .driver = "virtio-net-pci",
.property = "event_idx", .value = "off", },{ .driver = "virtio-balloon-pci"
, .property = "event_idx", .value = "off", } \

590

591

592

.driver = "virtio-blk-pci",\

593

.property = "event_idx",\

594

.value = "off",\

595

},{\

596

.driver = "virtio-serial-pci",\

597

.property = "event_idx",\

598

.value = "off",\

599

},{\

600

.driver = "virtio-net-pci",\

601

.property = "event_idx",\

602

.value = "off",\

603

},{\

604

.driver = "virtio-balloon-pci",\

605

.property = "event_idx",\

606

.value = "off",\

607

}

608

609

static QEMUMachine pc_machine_v0_14 = {

610

611

.name = "pc-0.14",

612

.compat_props = (GlobalProperty[]) {

613

PC_COMPAT_0_14{ .driver = "e1000", .property = "mitigation", .value = "off"
, },{ .driver = "qemu64-" "x86_64-cpu", .property = "model", .
value = "2", },{ .driver = "qemu32-" "x86_64-cpu", .property =
"model", .value = "3", },{ .driver = "i440FX-pcihost", .property
= "short_root_bus", .value = "1", },{ .driver = "q35-pcihost"
, .property = "short_root_bus", .value = "1", }, { .driver = "Conroe-"
"x86_64-cpu", .property = "model", .value = "2", },{ .driver
= "Conroe-" "x86_64-cpu", .property = "level", .value = "2",
},{ .driver = "Penryn-" "x86_64-cpu", .property = "model", .
value = "2", },{ .driver = "Penryn-" "x86_64-cpu", .property =
"level", .value = "2", },{ .driver = "Nehalem-" "x86_64-cpu"
, .property = "model", .value = "2", },{ .driver = "Nehalem-"
"x86_64-cpu", .property = "level", .value = "2", },{ .driver
= "virtio-net-pci", .property = "any_layout", .value = "off"
, },{ .driver = "x86_64-cpu", .property = "pmu", .value = "on"
, },{ .driver = "i440FX-pcihost", .property = "short_root_bus"
, .value = "0", },{ .driver = "q35-pcihost", .property = "short_root_bus"
, .value = "0", }, { .driver = "scsi-hd", .property = "discard_granularity"
, .value = "0", },{ .driver = "scsi-cd", .property = "discard_granularity"
, .value = "0", },{ .driver = "scsi-disk", .property = "discard_granularity"
, .value = "0", },{ .driver = "ide-hd", .property = "discard_granularity"
, .value = "0", },{ .driver = "ide-cd", .property = "discard_granularity"
, .value = "0", },{ .driver = "ide-drive", .property = "discard_granularity"
, .value = "0", },{ .driver = "virtio-blk-pci", .property = "discard_granularity"
, .value = "0", },{ .driver = "virtio-serial-pci", .property =
"vectors", .value = "0xFFFFFFFF", },{ .driver = "virtio-net-pci"
, .property = "ctrl_guest_offloads", .value = "off", },{ .driver
= "e1000", .property = "romfile", .value = "pxe-e1000.rom", }
,{ .driver = "ne2k_pci", .property = "romfile", .value = "pxe-ne2k_pci.rom"
, },{ .driver = "pcnet", .property = "romfile", .value = "pxe-pcnet.rom"
, },{ .driver = "rtl8139", .property = "romfile", .value = "pxe-rtl8139.rom"
, },{ .driver = "virtio-net-pci", .property = "romfile", .value
= "pxe-virtio.rom", },{ .driver = "486-" "x86_64-cpu", .property
= "model", .value = "0", }, { .driver = "usb-tablet", .property
= "usb_version", .value = "1", },{ .driver = "virtio-net-pci"
, .property = "ctrl_mac_addr", .value = "off", },{ .driver = "virtio-net-pci"
, .property = "mq", .value = "off", }, { .driver = "e1000", .
property = "autonegotiation", .value = "off", }, { .driver = "nec-usb-xhci"
, .property = "msi", .value = "off", },{ .driver = "nec-usb-xhci"
, .property = "msix", .value = "off", },{ .driver = "ivshmem"
, .property = "use64", .value = "0", },{ .driver = "qxl", .property
= "revision", .value = "3", },{ .driver = "qxl-vga", .property
= "revision", .value = "3", },{ .driver = "VGA", .property =
"mmio", .value = "off", }, { .driver = "virtio-scsi-pci", .property
= "hotplug", .value = "off", },{ .driver = "virtio-scsi-pci"
, .property = "param_change", .value = "off", },{ .driver = "VGA"
, .property = "vgamem_mb", .value = "8", },{ .driver = "vmware-svga"
, .property = "vgamem_mb", .value = "8", },{ .driver = "qxl-vga"
, .property = "vgamem_mb", .value = "8", },{ .driver = "qxl",
.property = "vgamem_mb", .value = "8", },{ .driver = "virtio-blk-pci"
, .property = "config-wce", .value = "off", }, { .driver = "isa-fdc"
, .property = "check_media_rate", .value = "off", }, { .driver
= "virtio-balloon-pci", .property = "class", .value = "0x0500"
, },{ .driver = "apic", .property = "vapic", .value = "off", }
,{ .driver = "usb-device", .property = "full-path", .value = "no"
, }, { .driver = "virtio-blk-pci", .property = "event_idx", .
value = "off", },{ .driver = "virtio-serial-pci", .property =
"event_idx", .value = "off", },{ .driver = "virtio-net-pci",
.property = "event_idx", .value = "off", },{ .driver = "virtio-balloon-pci"
, .property = "event_idx", .value = "off", },

614

{

615

.driver = "qxl",

616

.property = "revision",

617

.value = stringify(2)"2",

618

},{

619

.driver = "qxl-vga",

620

.property = "revision",

621

.value = stringify(2)"2",

622

623

{ /* end of list */ }

624

625

.hw_version = "0.14",

626

};

627

628

#define PC_COMPAT_0_13{ .driver = "e1000", .property = "mitigation", .value = "off"
, },{ .driver = "qemu64-" "x86_64-cpu", .property = "model", .
value = "2", },{ .driver = "qemu32-" "x86_64-cpu", .property =
"model", .value = "3", },{ .driver = "i440FX-pcihost", .property
= "short_root_bus", .value = "1", },{ .driver = "q35-pcihost"
, .property = "short_root_bus", .value = "1", }, { .driver = "Conroe-"
"x86_64-cpu", .property = "model", .value = "2", },{ .driver
= "Conroe-" "x86_64-cpu", .property = "level", .value = "2",
},{ .driver = "Penryn-" "x86_64-cpu", .property = "model", .
value = "2", },{ .driver = "Penryn-" "x86_64-cpu", .property =
"level", .value = "2", },{ .driver = "Nehalem-" "x86_64-cpu"
, .property = "model", .value = "2", },{ .driver = "Nehalem-"
"x86_64-cpu", .property = "level", .value = "2", },{ .driver
= "virtio-net-pci", .property = "any_layout", .value = "off"
, },{ .driver = "x86_64-cpu", .property = "pmu", .value = "on"
, },{ .driver = "i440FX-pcihost", .property = "short_root_bus"
, .value = "0", },{ .driver = "q35-pcihost", .property = "short_root_bus"
, .value = "0", }, { .driver = "scsi-hd", .property = "discard_granularity"
, .value = "0", },{ .driver = "scsi-cd", .property = "discard_granularity"
, .value = "0", },{ .driver = "scsi-disk", .property = "discard_granularity"
, .value = "0", },{ .driver = "ide-hd", .property = "discard_granularity"
, .value = "0", },{ .driver = "ide-cd", .property = "discard_granularity"
, .value = "0", },{ .driver = "ide-drive", .property = "discard_granularity"
, .value = "0", },{ .driver = "virtio-blk-pci", .property = "discard_granularity"
, .value = "0", },{ .driver = "virtio-serial-pci", .property =
"vectors", .value = "0xFFFFFFFF", },{ .driver = "virtio-net-pci"
, .property = "ctrl_guest_offloads", .value = "off", },{ .driver
= "e1000", .property = "romfile", .value = "pxe-e1000.rom", }
,{ .driver = "ne2k_pci", .property = "romfile", .value = "pxe-ne2k_pci.rom"
, },{ .driver = "pcnet", .property = "romfile", .value = "pxe-pcnet.rom"
, },{ .driver = "rtl8139", .property = "romfile", .value = "pxe-rtl8139.rom"
, },{ .driver = "virtio-net-pci", .property = "romfile", .value
= "pxe-virtio.rom", },{ .driver = "486-" "x86_64-cpu", .property
= "model", .value = "0", }, { .driver = "usb-tablet", .property
= "usb_version", .value = "1", },{ .driver = "virtio-net-pci"
, .property = "ctrl_mac_addr", .value = "off", },{ .driver = "virtio-net-pci"
, .property = "mq", .value = "off", }, { .driver = "e1000", .
property = "autonegotiation", .value = "off", }, { .driver = "nec-usb-xhci"
, .property = "msi", .value = "off", },{ .driver = "nec-usb-xhci"
, .property = "msix", .value = "off", },{ .driver = "ivshmem"
, .property = "use64", .value = "0", },{ .driver = "qxl", .property
= "revision", .value = "3", },{ .driver = "qxl-vga", .property
= "revision", .value = "3", },{ .driver = "VGA", .property =
"mmio", .value = "off", }, { .driver = "virtio-scsi-pci", .property
= "hotplug", .value = "off", },{ .driver = "virtio-scsi-pci"
, .property = "param_change", .value = "off", },{ .driver = "VGA"
, .property = "vgamem_mb", .value = "8", },{ .driver = "vmware-svga"
, .property = "vgamem_mb", .value = "8", },{ .driver = "qxl-vga"
, .property = "vgamem_mb", .value = "8", },{ .driver = "qxl",
.property = "vgamem_mb", .value = "8", },{ .driver = "virtio-blk-pci"
, .property = "config-wce", .value = "off", }, { .driver = "isa-fdc"
, .property = "check_media_rate", .value = "off", }, { .driver
= "virtio-balloon-pci", .property = "class", .value = "0x0500"
, },{ .driver = "apic", .property = "vapic", .value = "off", }
,{ .driver = "usb-device", .property = "full-path", .value = "no"
, }, { .driver = "virtio-blk-pci", .property = "event_idx", .
value = "off", },{ .driver = "virtio-serial-pci", .property =
"event_idx", .value = "off", },{ .driver = "virtio-net-pci",
.property = "event_idx", .value = "off", },{ .driver = "virtio-balloon-pci"
, .property = "event_idx", .value = "off", }, { .driver = "pci-device"
, .property = "command_serr_enable", .value = "off", },{ .driver
= "AC97", .property = "use_broken_id", .value = "1", } \

629

630

631

.driver = TYPE_PCI_DEVICE"pci-device",\

632

.property = "command_serr_enable",\

633

.value = "off",\

634

},{\

635

.driver = "AC97",\

636

.property = "use_broken_id",\

637

.value = stringify(1)"1",\

638

}

639

640

#define PC_I440FX_0_13_MACHINE_OPTIONS.default_boot_order = "cad", .hot_add_cpu = pc_hot_add_cpu, .
max_cpus = 255, .desc = "Standard PC (i440FX + PIIX, 1996)", .
hot_add_cpu = pc_hot_add_cpu, .hot_add_cpu = ((void*)0), .init
= pc_init_pci_1_2, .init = pc_init_pci_no_kvmclock \

641

642

.init = pc_init_pci_no_kvmclock

643

644

static QEMUMachine pc_machine_v0_13 = {

645

PC_I440FX_0_13_MACHINE_OPTIONS.default_boot_order = "cad", .hot_add_cpu = pc_hot_add_cpu, .
max_cpus = 255, .desc = "Standard PC (i440FX + PIIX, 1996)", .
hot_add_cpu = pc_hot_add_cpu, .hot_add_cpu = ((void*)0), .init
= pc_init_pci_1_2, .init = pc_init_pci_no_kvmclock,

646

.name = "pc-0.13",

647

.compat_props = (GlobalProperty[]) {

648

PC_COMPAT_0_13{ .driver = "e1000", .property = "mitigation", .value = "off"
, },{ .driver = "qemu64-" "x86_64-cpu", .property = "model", .
value = "2", },{ .driver = "qemu32-" "x86_64-cpu", .property =
"model", .value = "3", },{ .driver = "i440FX-pcihost", .property
= "short_root_bus", .value = "1", },{ .driver = "q35-pcihost"
, .property = "short_root_bus", .value = "1", }, { .driver = "Conroe-"
"x86_64-cpu", .property = "model", .value = "2", },{ .driver
= "Conroe-" "x86_64-cpu", .property = "level", .value = "2",
},{ .driver = "Penryn-" "x86_64-cpu", .property = "model", .
value = "2", },{ .driver = "Penryn-" "x86_64-cpu", .property =
"level", .value = "2", },{ .driver = "Nehalem-" "x86_64-cpu"
, .property = "model", .value = "2", },{ .driver = "Nehalem-"
"x86_64-cpu", .property = "level", .value = "2", },{ .driver
= "virtio-net-pci", .property = "any_layout", .value = "off"
, },{ .driver = "x86_64-cpu", .property = "pmu", .value = "on"
, },{ .driver = "i440FX-pcihost", .property = "short_root_bus"
, .value = "0", },{ .driver = "q35-pcihost", .property = "short_root_bus"
, .value = "0", }, { .driver = "scsi-hd", .property = "discard_granularity"
, .value = "0", },{ .driver = "scsi-cd", .property = "discard_granularity"
, .value = "0", },{ .driver = "scsi-disk", .property = "discard_granularity"
, .value = "0", },{ .driver = "ide-hd", .property = "discard_granularity"
, .value = "0", },{ .driver = "ide-cd", .property = "discard_granularity"
, .value = "0", },{ .driver = "ide-drive", .property = "discard_granularity"
, .value = "0", },{ .driver = "virtio-blk-pci", .property = "discard_granularity"
, .value = "0", },{ .driver = "virtio-serial-pci", .property =
"vectors", .value = "0xFFFFFFFF", },{ .driver = "virtio-net-pci"
, .property = "ctrl_guest_offloads", .value = "off", },{ .driver
= "e1000", .property = "romfile", .value = "pxe-e1000.rom", }
,{ .driver = "ne2k_pci", .property = "romfile", .value = "pxe-ne2k_pci.rom"
, },{ .driver = "pcnet", .property = "romfile", .value = "pxe-pcnet.rom"
, },{ .driver = "rtl8139", .property = "romfile", .value = "pxe-rtl8139.rom"
, },{ .driver = "virtio-net-pci", .property = "romfile", .value
= "pxe-virtio.rom", },{ .driver = "486-" "x86_64-cpu", .property
= "model", .value = "0", }, { .driver = "usb-tablet", .property
= "usb_version", .value = "1", },{ .driver = "virtio-net-pci"
, .property = "ctrl_mac_addr", .value = "off", },{ .driver = "virtio-net-pci"
, .property = "mq", .value = "off", }, { .driver = "e1000", .
property = "autonegotiation", .value = "off", }, { .driver = "nec-usb-xhci"
, .property = "msi", .value = "off", },{ .driver = "nec-usb-xhci"
, .property = "msix", .value = "off", },{ .driver = "ivshmem"
, .property = "use64", .value = "0", },{ .driver = "qxl", .property
= "revision", .value = "3", },{ .driver = "qxl-vga", .property
= "revision", .value = "3", },{ .driver = "VGA", .property =
"mmio", .value = "off", }, { .driver = "virtio-scsi-pci", .property
= "hotplug", .value = "off", },{ .driver = "virtio-scsi-pci"
, .property = "param_change", .value = "off", },{ .driver = "VGA"
, .property = "vgamem_mb", .value = "8", },{ .driver = "vmware-svga"
, .property = "vgamem_mb", .value = "8", },{ .driver = "qxl-vga"
, .property = "vgamem_mb", .value = "8", },{ .driver = "qxl",
.property = "vgamem_mb", .value = "8", },{ .driver = "virtio-blk-pci"
, .property = "config-wce", .value = "off", }, { .driver = "isa-fdc"
, .property = "check_media_rate", .value = "off", }, { .driver
= "virtio-balloon-pci", .property = "class", .value = "0x0500"
, },{ .driver = "apic", .property = "vapic", .value = "off", }
,{ .driver = "usb-device", .property = "full-path", .value = "no"
, }, { .driver = "virtio-blk-pci", .property = "event_idx", .
value = "off", },{ .driver = "virtio-serial-pci", .property =
"event_idx", .value = "off", },{ .driver = "virtio-net-pci",
.property = "event_idx", .value = "off", },{ .driver = "virtio-balloon-pci"
, .property = "event_idx", .value = "off", }, { .driver = "pci-device"
, .property = "command_serr_enable", .value = "off", },{ .driver
= "AC97", .property = "use_broken_id", .value = "1", },

649

{

650

.driver = "virtio-9p-pci",

651

.property = "vectors",

652

.value = stringify(0)"0",

653

},{

654

.driver = "VGA",

655

.property = "rombar",

656

.value = stringify(0)"0",

657

},{

658

.driver = "vmware-svga",

659

.property = "rombar",

660

.value = stringify(0)"0",

661

662

{ /* end of list */ }

663

664

.hw_version = "0.13",

665

};

666

667

#define PC_COMPAT_0_12{ .driver = "e1000", .property = "mitigation", .value = "off"
, },{ .driver = "qemu64-" "x86_64-cpu", .property = "model", .
value = "2", },{ .driver = "qemu32-" "x86_64-cpu", .property =
"model", .value = "3", },{ .driver = "i440FX-pcihost", .property
= "short_root_bus", .value = "1", },{ .driver = "q35-pcihost"
, .property = "short_root_bus", .value = "1", }, { .driver = "Conroe-"
"x86_64-cpu", .property = "model", .value = "2", },{ .driver
= "Conroe-" "x86_64-cpu", .property = "level", .value = "2",
},{ .driver = "Penryn-" "x86_64-cpu", .property = "model", .
value = "2", },{ .driver = "Penryn-" "x86_64-cpu", .property =
"level", .value = "2", },{ .driver = "Nehalem-" "x86_64-cpu"
, .property = "model", .value = "2", },{ .driver = "Nehalem-"
"x86_64-cpu", .property = "level", .value = "2", },{ .driver
= "virtio-net-pci", .property = "any_layout", .value = "off"
, },{ .driver = "x86_64-cpu", .property = "pmu", .value = "on"
, },{ .driver = "i440FX-pcihost", .property = "short_root_bus"
, .value = "0", },{ .driver = "q35-pcihost", .property = "short_root_bus"
, .value = "0", }, { .driver = "scsi-hd", .property = "discard_granularity"
, .value = "0", },{ .driver = "scsi-cd", .property = "discard_granularity"
, .value = "0", },{ .driver = "scsi-disk", .property = "discard_granularity"
, .value = "0", },{ .driver = "ide-hd", .property = "discard_granularity"
, .value = "0", },{ .driver = "ide-cd", .property = "discard_granularity"
, .value = "0", },{ .driver = "ide-drive", .property = "discard_granularity"
, .value = "0", },{ .driver = "virtio-blk-pci", .property = "discard_granularity"
, .value = "0", },{ .driver = "virtio-serial-pci", .property =
"vectors", .value = "0xFFFFFFFF", },{ .driver = "virtio-net-pci"
, .property = "ctrl_guest_offloads", .value = "off", },{ .driver
= "e1000", .property = "romfile", .value = "pxe-e1000.rom", }
,{ .driver = "ne2k_pci", .property = "romfile", .value = "pxe-ne2k_pci.rom"
, },{ .driver = "pcnet", .property = "romfile", .value = "pxe-pcnet.rom"
, },{ .driver = "rtl8139", .property = "romfile", .value = "pxe-rtl8139.rom"
, },{ .driver = "virtio-net-pci", .property = "romfile", .value
= "pxe-virtio.rom", },{ .driver = "486-" "x86_64-cpu", .property
= "model", .value = "0", }, { .driver = "usb-tablet", .property
= "usb_version", .value = "1", },{ .driver = "virtio-net-pci"
, .property = "ctrl_mac_addr", .value = "off", },{ .driver = "virtio-net-pci"
, .property = "mq", .value = "off", }, { .driver = "e1000", .
property = "autonegotiation", .value = "off", }, { .driver = "nec-usb-xhci"
, .property = "msi", .value = "off", },{ .driver = "nec-usb-xhci"
, .property = "msix", .value = "off", },{ .driver = "ivshmem"
, .property = "use64", .value = "0", },{ .driver = "qxl", .property
= "revision", .value = "3", },{ .driver = "qxl-vga", .property
= "revision", .value = "3", },{ .driver = "VGA", .property =
"mmio", .value = "off", }, { .driver = "virtio-scsi-pci", .property
= "hotplug", .value = "off", },{ .driver = "virtio-scsi-pci"
, .property = "param_change", .value = "off", },{ .driver = "VGA"
, .property = "vgamem_mb", .value = "8", },{ .driver = "vmware-svga"
, .property = "vgamem_mb", .value = "8", },{ .driver = "qxl-vga"
, .property = "vgamem_mb", .value = "8", },{ .driver = "qxl",
.property = "vgamem_mb", .value = "8", },{ .driver = "virtio-blk-pci"
, .property = "config-wce", .value = "off", }, { .driver = "isa-fdc"
, .property = "check_media_rate", .value = "off", }, { .driver
= "virtio-balloon-pci", .property = "class", .value = "0x0500"
, },{ .driver = "apic", .property = "vapic", .value = "off", }
,{ .driver = "usb-device", .property = "full-path", .value = "no"
, }, { .driver = "virtio-blk-pci", .property = "event_idx", .
value = "off", },{ .driver = "virtio-serial-pci", .property =
"event_idx", .value = "off", },{ .driver = "virtio-net-pci",
.property = "event_idx", .value = "off", },{ .driver = "virtio-balloon-pci"
, .property = "event_idx", .value = "off", }, { .driver = "pci-device"
, .property = "command_serr_enable", .value = "off", },{ .driver
= "AC97", .property = "use_broken_id", .value = "1", }, { .driver
= "virtio-serial-pci", .property = "max_ports", .value = "1"
, },{ .driver = "virtio-serial-pci", .property = "vectors", .
value = "0", },{ .driver = "usb-mouse", .property = "serial",
.value = "1", },{ .driver = "usb-tablet", .property = "serial"
, .value = "1", },{ .driver = "usb-kbd", .property = "serial"
, .value = "1", } \

668

669

670

.driver = "virtio-serial-pci",\

671

.property = "max_ports",\

672

.value = stringify(1)"1",\

673

},{\

674

.driver = "virtio-serial-pci",\

675

.property = "vectors",\

676

.value = stringify(0)"0",\

677

},{\

678

.driver = "usb-mouse",\

679

.property = "serial",\

680

.value = "1",\

681

},{\

682

.driver = "usb-tablet",\

683

.property = "serial",\

684

.value = "1",\

685

},{\

686

.driver = "usb-kbd",\

687

.property = "serial",\

688

.value = "1",\

689

}

690

691

static QEMUMachine pc_machine_v0_12 = {

692

693

.name = "pc-0.12",

694

.compat_props = (GlobalProperty[]) {

695

PC_COMPAT_0_12{ .driver = "e1000", .property = "mitigation", .value = "off"
, },{ .driver = "qemu64-" "x86_64-cpu", .property = "model", .
value = "2", },{ .driver = "qemu32-" "x86_64-cpu", .property =
"model", .value = "3", },{ .driver = "i440FX-pcihost", .property
= "short_root_bus", .value = "1", },{ .driver = "q35-pcihost"
, .property = "short_root_bus", .value = "1", }, { .driver = "Conroe-"
"x86_64-cpu", .property = "model", .value = "2", },{ .driver
= "Conroe-" "x86_64-cpu", .property = "level", .value = "2",
},{ .driver = "Penryn-" "x86_64-cpu", .property = "model", .
value = "2", },{ .driver = "Penryn-" "x86_64-cpu", .property =
"level", .value = "2", },{ .driver = "Nehalem-" "x86_64-cpu"
, .property = "model", .value = "2", },{ .driver = "Nehalem-"
"x86_64-cpu", .property = "level", .value = "2", },{ .driver
= "virtio-net-pci", .property = "any_layout", .value = "off"
, },{ .driver = "x86_64-cpu", .property = "pmu", .value = "on"
, },{ .driver = "i440FX-pcihost", .property = "short_root_bus"
, .value = "0", },{ .driver = "q35-pcihost", .property = "short_root_bus"
, .value = "0", }, { .driver = "scsi-hd", .property = "discard_granularity"
, .value = "0", },{ .driver = "scsi-cd", .property = "discard_granularity"
, .value = "0", },{ .driver = "scsi-disk", .property = "discard_granularity"
, .value = "0", },{ .driver = "ide-hd", .property = "discard_granularity"
, .value = "0", },{ .driver = "ide-cd", .property = "discard_granularity"
, .value = "0", },{ .driver = "ide-drive", .property = "discard_granularity"
, .value = "0", },{ .driver = "virtio-blk-pci", .property = "discard_granularity"
, .value = "0", },{ .driver = "virtio-serial-pci", .property =
"vectors", .value = "0xFFFFFFFF", },{ .driver = "virtio-net-pci"
, .property = "ctrl_guest_offloads", .value = "off", },{ .driver
= "e1000", .property = "romfile", .value = "pxe-e1000.rom", }
,{ .driver = "ne2k_pci", .property = "romfile", .value = "pxe-ne2k_pci.rom"
, },{ .driver = "pcnet", .property = "romfile", .value = "pxe-pcnet.rom"
, },{ .driver = "rtl8139", .property = "romfile", .value = "pxe-rtl8139.rom"
, },{ .driver = "virtio-net-pci", .property = "romfile", .value
= "pxe-virtio.rom", },{ .driver = "486-" "x86_64-cpu", .property
= "model", .value = "0", }, { .driver = "usb-tablet", .property
= "usb_version", .value = "1", },{ .driver = "virtio-net-pci"
, .property = "ctrl_mac_addr", .value = "off", },{ .driver = "virtio-net-pci"
, .property = "mq", .value = "off", }, { .driver = "e1000", .
property = "autonegotiation", .value = "off", }, { .driver = "nec-usb-xhci"
, .property = "msi", .value = "off", },{ .driver = "nec-usb-xhci"
, .property = "msix", .value = "off", },{ .driver = "ivshmem"
, .property = "use64", .value = "0", },{ .driver = "qxl", .property
= "revision", .value = "3", },{ .driver = "qxl-vga", .property
= "revision", .value = "3", },{ .driver = "VGA", .property =
"mmio", .value = "off", }, { .driver = "virtio-scsi-pci", .property
= "hotplug", .value = "off", },{ .driver = "virtio-scsi-pci"
, .property = "param_change", .value = "off", },{ .driver = "VGA"
, .property = "vgamem_mb", .value = "8", },{ .driver = "vmware-svga"
, .property = "vgamem_mb", .value = "8", },{ .driver = "qxl-vga"
, .property = "vgamem_mb", .value = "8", },{ .driver = "qxl",
.property = "vgamem_mb", .value = "8", },{ .driver = "virtio-blk-pci"
, .property = "config-wce", .value = "off", }, { .driver = "isa-fdc"
, .property = "check_media_rate", .value = "off", }, { .driver
= "virtio-balloon-pci", .property = "class", .value = "0x0500"
, },{ .driver = "apic", .property = "vapic", .value = "off", }
,{ .driver = "usb-device", .property = "full-path", .value = "no"
, }, { .driver = "virtio-blk-pci", .property = "event_idx", .
value = "off", },{ .driver = "virtio-serial-pci", .property =
"event_idx", .value = "off", },{ .driver = "virtio-net-pci",
.property = "event_idx", .value = "off", },{ .driver = "virtio-balloon-pci"
, .property = "event_idx", .value = "off", }, { .driver = "pci-device"
, .property = "command_serr_enable", .value = "off", },{ .driver
= "AC97", .property = "use_broken_id", .value = "1", }, { .driver
= "virtio-serial-pci", .property = "max_ports", .value = "1"
, },{ .driver = "virtio-serial-pci", .property = "vectors", .
value = "0", },{ .driver = "usb-mouse", .property = "serial",
.value = "1", },{ .driver = "usb-tablet", .property = "serial"
, .value = "1", },{ .driver = "usb-kbd", .property = "serial"
, .value = "1", },

696

{

697

.driver = "VGA",

698

.property = "rombar",

699

.value = stringify(0)"0",

700

},{

701

.driver = "vmware-svga",

702

.property = "rombar",

703

.value = stringify(0)"0",

704

705

{ /* end of list */ }

706

707

.hw_version = "0.12",

708

};

709

710

#define PC_COMPAT_0_11{ .driver = "e1000", .property = "mitigation", .value = "off"
, },{ .driver = "qemu64-" "x86_64-cpu", .property = "model", .
value = "2", },{ .driver = "qemu32-" "x86_64-cpu", .property =
"model", .value = "3", },{ .driver = "i440FX-pcihost", .property
= "short_root_bus", .value = "1", },{ .driver = "q35-pcihost"
, .property = "short_root_bus", .value = "1", }, { .driver = "Conroe-"
"x86_64-cpu", .property = "model", .value = "2", },{ .driver
= "Conroe-" "x86_64-cpu", .property = "level", .value = "2",
},{ .driver = "Penryn-" "x86_64-cpu", .property = "model", .
value = "2", },{ .driver = "Penryn-" "x86_64-cpu", .property =
"level", .value = "2", },{ .driver = "Nehalem-" "x86_64-cpu"
, .property = "model", .value = "2", },{ .driver = "Nehalem-"
"x86_64-cpu", .property = "level", .value = "2", },{ .driver
= "virtio-net-pci", .property = "any_layout", .value = "off"
, },{ .driver = "x86_64-cpu", .property = "pmu", .value = "on"
, },{ .driver = "i440FX-pcihost", .property = "short_root_bus"
, .value = "0", },{ .driver = "q35-pcihost", .property = "short_root_bus"
, .value = "0", }, { .driver = "scsi-hd", .property = "discard_granularity"
, .value = "0", },{ .driver = "scsi-cd", .property = "discard_granularity"
, .value = "0", },{ .driver = "scsi-disk", .property = "discard_granularity"
, .value = "0", },{ .driver = "ide-hd", .property = "discard_granularity"
, .value = "0", },{ .driver = "ide-cd", .property = "discard_granularity"
, .value = "0", },{ .driver = "ide-drive", .property = "discard_granularity"
, .value = "0", },{ .driver = "virtio-blk-pci", .property = "discard_granularity"
, .value = "0", },{ .driver = "virtio-serial-pci", .property =
"vectors", .value = "0xFFFFFFFF", },{ .driver = "virtio-net-pci"
, .property = "ctrl_guest_offloads", .value = "off", },{ .driver
= "e1000", .property = "romfile", .value = "pxe-e1000.rom", }
,{ .driver = "ne2k_pci", .property = "romfile", .value = "pxe-ne2k_pci.rom"
, },{ .driver = "pcnet", .property = "romfile", .value = "pxe-pcnet.rom"
, },{ .driver = "rtl8139", .property = "romfile", .value = "pxe-rtl8139.rom"
, },{ .driver = "virtio-net-pci", .property = "romfile", .value
= "pxe-virtio.rom", },{ .driver = "486-" "x86_64-cpu", .property
= "model", .value = "0", }, { .driver = "usb-tablet", .property
= "usb_version", .value = "1", },{ .driver = "virtio-net-pci"
, .property = "ctrl_mac_addr", .value = "off", },{ .driver = "virtio-net-pci"
, .property = "mq", .value = "off", }, { .driver = "e1000", .
property = "autonegotiation", .value = "off", }, { .driver = "nec-usb-xhci"
, .property = "msi", .value = "off", },{ .driver = "nec-usb-xhci"
, .property = "msix", .value = "off", },{ .driver = "ivshmem"
, .property = "use64", .value = "0", },{ .driver = "qxl", .property
= "revision", .value = "3", },{ .driver = "qxl-vga", .property
= "revision", .value = "3", },{ .driver = "VGA", .property =
"mmio", .value = "off", }, { .driver = "virtio-scsi-pci", .property
= "hotplug", .value = "off", },{ .driver = "virtio-scsi-pci"
, .property = "param_change", .value = "off", },{ .driver = "VGA"
, .property = "vgamem_mb", .value = "8", },{ .driver = "vmware-svga"
, .property = "vgamem_mb", .value = "8", },{ .driver = "qxl-vga"
, .property = "vgamem_mb", .value = "8", },{ .driver = "qxl",
.property = "vgamem_mb", .value = "8", },{ .driver = "virtio-blk-pci"
, .property = "config-wce", .value = "off", }, { .driver = "isa-fdc"
, .property = "check_media_rate", .value = "off", }, { .driver
= "virtio-balloon-pci", .property = "class", .value = "0x0500"
, },{ .driver = "apic", .property = "vapic", .value = "off", }
,{ .driver = "usb-device", .property = "full-path", .value = "no"
, }, { .driver = "virtio-blk-pci", .property = "event_idx", .
value = "off", },{ .driver = "virtio-serial-pci", .property =
"event_idx", .value = "off", },{ .driver = "virtio-net-pci",
.property = "event_idx", .value = "off", },{ .driver = "virtio-balloon-pci"
, .property = "event_idx", .value = "off", }, { .driver = "pci-device"
, .property = "command_serr_enable", .value = "off", },{ .driver
= "AC97", .property = "use_broken_id", .value = "1", }, { .driver
= "virtio-serial-pci", .property = "max_ports", .value = "1"
, },{ .driver = "virtio-serial-pci", .property = "vectors", .
value = "0", },{ .driver = "usb-mouse", .property = "serial",
.value = "1", },{ .driver = "usb-tablet", .property = "serial"
, .value = "1", },{ .driver = "usb-kbd", .property = "serial"
, .value = "1", }, { .driver = "virtio-blk-pci", .property = "vectors"
, .value = "0", },{ .driver = "pci-device", .property = "rombar"
, .value = "0", } \

711

712

713

.driver = "virtio-blk-pci",\

714

.property = "vectors",\

715

.value = stringify(0)"0",\

716

},{\

717

.driver = TYPE_PCI_DEVICE"pci-device",\

718

.property = "rombar",\

719

.value = stringify(0)"0",\

720

}

721

722

static QEMUMachine pc_machine_v0_11 = {

723

724

.name = "pc-0.11",

725

.compat_props = (GlobalProperty[]) {

726

PC_COMPAT_0_11{ .driver = "e1000", .property = "mitigation", .value = "off"
, },{ .driver = "qemu64-" "x86_64-cpu", .property = "model", .
value = "2", },{ .driver = "qemu32-" "x86_64-cpu", .property =
"model", .value = "3", },{ .driver = "i440FX-pcihost", .property
= "short_root_bus", .value = "1", },{ .driver = "q35-pcihost"
, .property = "short_root_bus", .value = "1", }, { .driver = "Conroe-"
"x86_64-cpu", .property = "model", .value = "2", },{ .driver
= "Conroe-" "x86_64-cpu", .property = "level", .value = "2",
},{ .driver = "Penryn-" "x86_64-cpu", .property = "model", .
value = "2", },{ .driver = "Penryn-" "x86_64-cpu", .property =
"level", .value = "2", },{ .driver = "Nehalem-" "x86_64-cpu"
, .property = "model", .value = "2", },{ .driver = "Nehalem-"
"x86_64-cpu", .property = "level", .value = "2", },{ .driver
= "virtio-net-pci", .property = "any_layout", .value = "off"
, },{ .driver = "x86_64-cpu", .property = "pmu", .value = "on"
, },{ .driver = "i440FX-pcihost", .property = "short_root_bus"
, .value = "0", },{ .driver = "q35-pcihost", .property = "short_root_bus"
, .value = "0", }, { .driver = "scsi-hd", .property = "discard_granularity"
, .value = "0", },{ .driver = "scsi-cd", .property = "discard_granularity"
, .value = "0", },{ .driver = "scsi-disk", .property = "discard_granularity"
, .value = "0", },{ .driver = "ide-hd", .property = "discard_granularity"
, .value = "0", },{ .driver = "ide-cd", .property = "discard_granularity"
, .value = "0", },{ .driver = "ide-drive", .property = "discard_granularity"
, .value = "0", },{ .driver = "virtio-blk-pci", .property = "discard_granularity"
, .value = "0", },{ .driver = "virtio-serial-pci", .property =
"vectors", .value = "0xFFFFFFFF", },{ .driver = "virtio-net-pci"
, .property = "ctrl_guest_offloads", .value = "off", },{ .driver
= "e1000", .property = "romfile", .value = "pxe-e1000.rom", }
,{ .driver = "ne2k_pci", .property = "romfile", .value = "pxe-ne2k_pci.rom"
, },{ .driver = "pcnet", .property = "romfile", .value = "pxe-pcnet.rom"
, },{ .driver = "rtl8139", .property = "romfile", .value = "pxe-rtl8139.rom"
, },{ .driver = "virtio-net-pci", .property = "romfile", .value
= "pxe-virtio.rom", },{ .driver = "486-" "x86_64-cpu", .property
= "model", .value = "0", }, { .driver = "usb-tablet", .property
= "usb_version", .value = "1", },{ .driver = "virtio-net-pci"
, .property = "ctrl_mac_addr", .value = "off", },{ .driver = "virtio-net-pci"
, .property = "mq", .value = "off", }, { .driver = "e1000", .
property = "autonegotiation", .value = "off", }, { .driver = "nec-usb-xhci"
, .property = "msi", .value = "off", },{ .driver = "nec-usb-xhci"
, .property = "msix", .value = "off", },{ .driver = "ivshmem"
, .property = "use64", .value = "0", },{ .driver = "qxl", .property
= "revision", .value = "3", },{ .driver = "qxl-vga", .property
= "revision", .value = "3", },{ .driver = "VGA", .property =
"mmio", .value = "off", }, { .driver = "virtio-scsi-pci", .property
= "hotplug", .value = "off", },{ .driver = "virtio-scsi-pci"
, .property = "param_change", .value = "off", },{ .driver = "VGA"
, .property = "vgamem_mb", .value = "8", },{ .driver = "vmware-svga"
, .property = "vgamem_mb", .value = "8", },{ .driver = "qxl-vga"
, .property = "vgamem_mb", .value = "8", },{ .driver = "qxl",
.property = "vgamem_mb", .value = "8", },{ .driver = "virtio-blk-pci"
, .property = "config-wce", .value = "off", }, { .driver = "isa-fdc"
, .property = "check_media_rate", .value = "off", }, { .driver
= "virtio-balloon-pci", .property = "class", .value = "0x0500"
, },{ .driver = "apic", .property = "vapic", .value = "off", }
,{ .driver = "usb-device", .property = "full-path", .value = "no"
, }, { .driver = "virtio-blk-pci", .property = "event_idx", .
value = "off", },{ .driver = "virtio-serial-pci", .property =
"event_idx", .value = "off", },{ .driver = "virtio-net-pci",
.property = "event_idx", .value = "off", },{ .driver = "virtio-balloon-pci"
, .property = "event_idx", .value = "off", }, { .driver = "pci-device"
, .property = "command_serr_enable", .value = "off", },{ .driver
= "AC97", .property = "use_broken_id", .value = "1", }, { .driver
= "virtio-serial-pci", .property = "max_ports", .value = "1"
, },{ .driver = "virtio-serial-pci", .property = "vectors", .
value = "0", },{ .driver = "usb-mouse", .property = "serial",
.value = "1", },{ .driver = "usb-tablet", .property = "serial"
, .value = "1", },{ .driver = "usb-kbd", .property = "serial"
, .value = "1", }, { .driver = "virtio-blk-pci", .property = "vectors"
, .value = "0", },{ .driver = "pci-device", .property = "rombar"
, .value = "0", },

727

{

728

.driver = "ide-drive",

729

.property = "ver",

730

.value = "0.11",

731

},{

732

.driver = "scsi-disk",

733

.property = "ver",

734

.value = "0.11",

735

736

{ /* end of list */ }

737

738

.hw_version = "0.11",

739

};

740

741

static QEMUMachine pc_machine_v0_10 = {

742

743

.name = "pc-0.10",

744

.compat_props = (GlobalProperty[]) {

745

746

{

747

.driver = "virtio-blk-pci",

748

.property = "class",

749

.value = stringify(PCI_CLASS_STORAGE_OTHER)"0x0180",

750

},{

751

.driver = "virtio-serial-pci",

752

.property = "class",

753

.value = stringify(PCI_CLASS_DISPLAY_OTHER)"0x0380",

754

},{

755

.driver = "virtio-net-pci",

756

.property = "vectors",

757

.value = stringify(0)"0",

758

},{

759

.driver = "ide-drive",

760

.property = "ver",

761

.value = "0.10",

762

},{

763

.driver = "scsi-disk",

764

.property = "ver",

765

.value = "0.10",

766

767

{ /* end of list */ }

768

769

.hw_version = "0.10",

770

};

771

772

static QEMUMachine isapc_machine = {

773

PC_COMMON_MACHINE_OPTIONS.default_boot_order = "cad",

774

.name = "isapc",

775

.desc = "ISA-only PC",

776

.init = pc_init_isa,

777

.max_cpus = 1,

778

.compat_props = (GlobalProperty[]) {

779

{ /* end of list */ }

780

781

};

782

783

#ifdef CONFIG_XEN1

784

static QEMUMachine xenfv_machine = {

785

PC_COMMON_MACHINE_OPTIONS.default_boot_order = "cad",

786

.name = "xenfv",

787

.desc = "Xen Fully-virtualized PC",

788

.init = pc_xen_hvm_init,

789

.max_cpus = HVM_MAX_VCPUS128,

790

.default_machine_opts = "accel=xen",

791

.hot_add_cpu = pc_hot_add_cpu,

792

};

793

#endif

794

795

static void pc_machine_init(void)

796

{

797

qemu_register_machine(&pc_i440fx_machine_v2_0);

798

qemu_register_machine(&pc_i440fx_machine_v1_7);

799

qemu_register_machine(&pc_i440fx_machine_v1_6);

800

qemu_register_machine(&pc_i440fx_machine_v1_5);

801

qemu_register_machine(&pc_i440fx_machine_v1_4);

802

qemu_register_machine(&pc_machine_v1_3);

803

qemu_register_machine(&pc_machine_v1_2);

804

qemu_register_machine(&pc_machine_v1_1);

805

qemu_register_machine(&pc_machine_v1_0);

806

qemu_register_machine(&pc_machine_v0_15);

807

qemu_register_machine(&pc_machine_v0_14);

808

qemu_register_machine(&pc_machine_v0_13);

809

qemu_register_machine(&pc_machine_v0_12);

810

qemu_register_machine(&pc_machine_v0_11);

811

qemu_register_machine(&pc_machine_v0_10);

812

qemu_register_machine(&isapc_machine);

813

#ifdef CONFIG_XEN1

814

qemu_register_machine(&xenfv_machine);

815

#endif

816

}

817

818

machine_init(pc_machine_init)static void __attribute__((constructor)) do_qemu_init_pc_machine_init
(void) { register_module_init(pc_machine_init, MODULE_INIT_MACHINE
); };