fw_cfg = fw_cfg_init(BIOS_CFG_IOPORT, BIOS_CFG_IOPORT + 1, 0, 0);
fw_cfg_add_i32(fw_cfg, FW_CFG_ID, 1);
fw_cfg_add_i64(fw_cfg, FW_CFG_RAM_SIZE, (uint64_t)ram_size);
+#ifndef CONFIG_DM
fw_cfg_add_bytes(fw_cfg, FW_CFG_ACPI_TABLES, acpi_tables, acpi_tables_len);
+#endif /*CONFIG_DM*/
}
/* Generate an initial boot sector which sets state and jump to
return NULL;
}
+void qemu_system_hot_add_init() { }
+void qemu_system_device_hot_add(int bus, int slot, int state) {
+ fputs("qemu-upstream PCI hotplug not supported in qemu-dm\n",stderr);
+ exit(-1);
+}
+
void i440fx_init_memory_mappings(PCIDevice *d) {
/* our implementation doesn't need this */
}
return io_index << IO_MEM_SHIFT;
}
+void cpu_unregister_io_memory(int io_table_address)
+{
+ int i;
+ int io_index = io_table_address >> IO_MEM_SHIFT;
+
+ for (i = 0; i < mmio_cnt; i++) {
+ if (mmio[i].size && mmio[i].io_index == io_index) {
+ mmio[i].start = mmio[i].size = 0;
+ break;
+ }
+ }
+
+ for (i=0;i < 3; i++) {
+ io_mem_read[io_index][i] = NULL;
+ io_mem_write[io_index][i] = NULL;
+ }
+ io_mem_opaque[io_index] = NULL;
+}
+
CPUWriteMemoryFunc **cpu_get_io_memory_write(int io_index)
{
return io_mem_write[io_index >> IO_MEM_SHIFT];
{ "pciemulation", HAS_ARG, QEMU_OPTION_pci_emulation },
{ "vncunused", 0, QEMU_OPTION_vncunused },
{ "vcpus", HAS_ARG, QEMU_OPTION_vcpus },
-#ifdef CONFIG_XEN
+#if defined(CONFIG_XEN) && !defined(CONFIG_DM)
{ "xen-domid", HAS_ARG, QEMU_OPTION_xen_domid },
{ "xen-create", 0, QEMU_OPTION_xen_create },
{ "xen-attach", 0, QEMU_OPTION_xen_attach },
case QEMU_OPTION_vncunused:
vncunused = 1;
break;
-#ifdef CONFIG_XEN
+#if defined(CONFIG_XEN) && !defined(CONFIG_DM)
case QEMU_OPTION_xen_domid:
xen_domid = domid = atoi(optarg);
break;
case QEMU_OPTION_rtc_td_hack:
rtc_td_hack = 1;
break;
+#ifndef CONFIG_DM
case QEMU_OPTION_acpitable:
if(acpi_table_add(optarg) < 0) {
fprintf(stderr, "Wrong acpi table provided\n");
exit(1);
}
break;
+#endif /*CONFIG_DM*/
#endif
#ifdef USE_KQEMU
case QEMU_OPTION_no_kqemu:
#endif
#define CONFIG_DM
+#define CONFIG_XEN
extern char domain_name[64];
extern int domid, domid_backend;