|
@@ -37,7 +37,6 @@
|
|
#include "hw/acpi/cpu.h"
|
|
#include "hw/acpi/cpu.h"
|
|
#include "hw/nvram/fw_cfg.h"
|
|
#include "hw/nvram/fw_cfg.h"
|
|
#include "hw/acpi/bios-linker-loader.h"
|
|
#include "hw/acpi/bios-linker-loader.h"
|
|
-#include "hw/isa/isa.h"
|
|
|
|
#include "hw/acpi/acpi_aml_interface.h"
|
|
#include "hw/acpi/acpi_aml_interface.h"
|
|
#include "hw/input/i8042.h"
|
|
#include "hw/input/i8042.h"
|
|
#include "hw/acpi/memory_hotplug.h"
|
|
#include "hw/acpi/memory_hotplug.h"
|