Re: [PATCH v4 07/13] irqchip: ti-sci-intr: Add support for Interrupt Router driver

2019-01-24 Thread Lokesh Vutla
Hi Marc, On 16/01/19 10:46 PM, Marc Zyngier wrote: > [Still in the process of sorting out my email - don't ask] > > On 27/12/2018 06:13, Lokesh Vutla wrote: >> Texas Instruments' K3 generation SoCs has an IP Interrupt Router >> that does allows for redirection of input interrupts to host >> inter

Re: [PATCH v4 07/13] irqchip: ti-sci-intr: Add support for Interrupt Router driver

2019-01-16 Thread Marc Zyngier
[Still in the process of sorting out my email - don't ask] On 27/12/2018 06:13, Lokesh Vutla wrote: > Texas Instruments' K3 generation SoCs has an IP Interrupt Router > that does allows for redirection of input interrupts to host > interrupt controller. Interrupt Router inputs are either from a >

[PATCH v4 07/13] irqchip: ti-sci-intr: Add support for Interrupt Router driver

2018-12-26 Thread Lokesh Vutla
Texas Instruments' K3 generation SoCs has an IP Interrupt Router that does allows for redirection of input interrupts to host interrupt controller. Interrupt Router inputs are either from a peripheral or from an Interrupt Aggregator which is another interrupt controller. Configuration of the inter