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_dev_interface.h	acpi: introduce TYPE_ACPI_DEVICE_IF interface	2014-06-19 18:44:22 +03: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
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