On Mon, Apr 04, 2016 at 12:37:37PM +0100, Julien Grall wrote:
+static void __init gic_acpi_setup_kvm_info(void)
+{
+ int irq;
+
+ if (!gic_acpi_collect_virt_info()) {
+ pr_warn("Unable to get hardware information used for virtualization\n");
perhaps this should say something about gicv3 as well?
Otherwise (with my extremely limited acpi understanding):
Reviewed-by: Christoffer Dall <christoffer.dall@xxxxxxxxxx>