[Linaro-acpi] [RFCv1 PATCH 2/7] gic: Add gic_init_irq_alloc_info()