[Xen-devel] [PATCH 4/4] ARM: ACPI: Add ITS to hardware domain MADT

This patch adds ITS information in hardware domain's MADT table. Also this patch interoduces .get_hwdom_madt_size in gic_hw_operations, to return the complete size of MADT table for hardware domain. Signed-off-by: Manish Jaggi --- xen/arch/arm/domain_build.c | 7 +-- xen/arch/arm/gic-v

[Xen-devel] [PATCH 4/4] ARM: ACPI: Add ITS to hardware domain MADT

This patch adds ITS information in hardware domain's MADT table. Also this patch introduces .get_hwdom_madt_size in gic_hw_operations, to return the complete size of MADT table for hardware domain. Signed-off-by: Manish Jaggi --- xen/arch/arm/domain_build.c | 7 +-- xen/arch/arm/gic-v