On 05/01/2017 06:39 AM, Thomas Gleixner wrote:> - ACPI support for ARM GICV3(ACPI support for MSIs when using an ITS with GICv3)Jon.