ARM: Update Formula to compute MADT size using new callbacks in gic_hw_operations
authorManish Jaggi <mjaggi@cavium.com>
Tue, 10 Oct 2017 12:52:31 +0000 (18:22 +0530)
committerStefano Stabellini <sstabellini@kernel.org>
Tue, 10 Oct 2017 20:25:46 +0000 (13:25 -0700)
commitd9c8167c815e91945444fc455c65d79355ce87a3
treed1af003203f5ee57513c67f943bc3ba6e33b85ab
parent66158be4654a60dc039760990ed33e8d04c5c56d
ARM: Update Formula to compute MADT size using new callbacks in gic_hw_operations

estimate_acpi_efi_size needs to be updated to provide correct size of
hardware domains MADT, which now adds ITS information as well.

This patch updates the formula to compute extra MADT size, as per GICv2/3
by calling gic_get_hwdom_extra_madt_size.

Signed-off-by: Manish Jaggi <mjaggi@cavium.com>
Acked-by: Julien Grall <julien.grall@arm.com>
Reviewed-by: Stefano Stabellini <sstabellini@kernel.org>
xen/arch/arm/domain_build.c
xen/arch/arm/gic-v2.c
xen/arch/arm/gic-v3.c
xen/arch/arm/gic.c
xen/include/asm-arm/gic.h