qemu/include/hw/acpi
Pavel Fedin b92ad3949b hw/arm/virt: Add gic-version option to virt machine
Add gic_version to VirtMachineState, set it to value of the option
and pass it around where necessary. Instantiate devices and fdt
nodes according to the choice.

max_cpus for virt machine increased to 123 (calculated from redistributor
space available in the memory map). GICv2 compatibility check happens
inside arm_gic_common_realize().

ITS region is added to the memory map too, however currently it not used,
just reserved.

Signed-off-by: Pavel Fedin <p.fedin@samsung.com>
Tested-by: Ashok kumar <ashoks@broadcom.com>
[PMM: Added missing cpu_to_le* calls, thanks to Shannon Zhao]
Reviewed-by: Peter Maydell <peter.maydell@linaro.org>
Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
2015-09-24 01:29:37 +01:00
..
acpi-defs.h hw/arm/virt: Add gic-version option to virt machine 2015-09-24 01:29:37 +01:00
acpi.h hw/acpi: acpi_pm1_cnt_init(): take "disable_s3" and "disable_s4" 2015-06-04 11:25:42 +02:00
acpi_dev_interface.h acpi: introduce TYPE_ACPI_DEVICE_IF interface 2014-06-19 18:44:22 +03:00
aml-build.h acpi: Remove unused definition. 2015-09-10 11:21:21 +03:00
bios-linker-loader.h bios-linker-loader: move header to common location 2015-01-27 14:46:17 +02:00
cpu_hotplug.h cpu-hotplug: rename function for better readability 2014-11-02 13:44:12 +02:00
ich9.h ich9: add TCO interface emulation 2015-07-07 13:12:22 +03:00
memory_hotplug.h acpi: add acpi_send_gpe_event() to rise sci for hotplug 2015-06-03 18:19:16 +02:00
pc-hotplug.h acpi: add acpi_send_gpe_event() to rise sci for hotplug 2015-06-03 18:19:16 +02:00
pcihp.h pc: pcihp: expose MMIO base and len as properties 2015-02-26 13:04:18 +01:00
piix4.h piix: APIs for pc guest info 2013-10-14 17:48:52 +03:00
tco.h ich9: add TCO interface emulation 2015-07-07 13:12:22 +03:00
tpm.h TPM2 ACPI table support 2015-06-01 14:18:54 +02:00