PCIDevice *dev;
PIIX4PMState *s;
-#if defined(CONFIG_MARU) && defined(__x86_64__)
+#if 0 //#if defined(CONFIG_MARU) && defined(__x86_64__)
dev = pci_create(bus, devfn, "MARU_PM");
#else
dev = pci_create(bus, devfn, "PIIX4_PM");
}
static TypeInfo piix4_pm_info = {
-#if defined(CONFIG_MARU) && defined(__x86_64__)
+#if 0 //#if defined(CONFIG_MARU) && defined(__x86_64__)
.name = "MARU_PM",
#else
.name = "PIIX4_PM",
case QEMU_OPTION_enable_hax:
#ifdef CONFIG_HAX_BACKEND
olist = qemu_find_opts("machine");
- qemu_opts_reset(olist);
+ //qemu_opts_reset(olist);
hax_disable(0);
//qemu_opts_parse(olist, "accel=hax", 0);
#else