/hw/i386/

• ../
• Makefile.objs
• acpi-build.c
• acpi-build.h
• acpi-defs.h
• acpi-dsdt-cpu-hotplug.dsl
• acpi-dsdt-dbug.dsl
• acpi-dsdt-hpet.dsl
• acpi-dsdt-isa.dsl
• acpi-dsdt-pci-crs.dsl
• acpi-dsdt.dsl
• acpi-dsdt.hex.generated
• bios-linker-loader.c
• bios-linker-loader.h
• kvm
• kvmvapic.c
• multiboot.c
• multiboot.h
• pc.c
• pc_piix.c
• pc_q35.c
• pc_sysfw.c
• q35-acpi-dsdt.dsl
• q35-acpi-dsdt.hex.generated
• smbios.c
• ssdt-misc.dsl
• ssdt-misc.hex.generated
• ssdt-pcihp.dsl
• ssdt-pcihp.hex.generated
• ssdt-proc.dsl
• ssdt-proc.hex.generated
• xen_domainbuild.c
• xen_domainbuild.h
• xen_machine_pv.c