Change-Id: I74c8f375800706c9c0db9e87d92376873ae9c839
VMSTATE_END_OF_LIST()
}
};
-
+extern int hax_enabled(void);
static void pm_reset(void *opaque)
{
ICH9LPCPMRegs *pm = opaque;
acpi_pm_tmr_reset(&pm->acpi_regs);
acpi_gpe_reset(&pm->acpi_regs);
- if (kvm_enabled()) {
+ if (kvm_enabled()||hax_enabled()) {
/* Mark SMM as already inited to prevent SMM from running. KVM does not
* support SMM mode. */
pm->smi_en |= ICH9_PMIO_SMI_EN_APMC_EN;
VMSTATE_END_OF_LIST()
}
};
-
+extern int hax_enabled(void);
static void piix4_reset(void *opaque)
{
PIIX4PMState *s = opaque;
pci_conf[0x40] = 0x01; /* PM io base read only bit */
pci_conf[0x80] = 0;
- if (s->kvm_enabled) {
+ if (s->kvm_enabled ||hax_enabled()) {
/* Mark SMM as already inited (until KVM supports SMM). */
pci_conf[0x5B] = 0x02;
}
/* APM */
apm_init(dev, &s->apm, apm_ctrl_changed, s);
- if (s->kvm_enabled) {
+ if (s->kvm_enabled || hax_enabled()) {
/* Mark SMM as already inited to prevent SMM from running. KVM does not
* support SMM mode. */
pci_conf[0x5B] = 0x02;