Re: [PATCH V5 1/2] ACPI: Add support for ResourceSource/IRQ domain mapping

2016-10-25 Thread agustinv
Hi Marc, Lorenzo, On 2016-10-20 13:51, Marc Zyngier wrote: On 20/10/16 17:48, Lorenzo Pieralisi wrote: Hi Agustin, On Tue, Oct 18, 2016 at 01:41:48PM -0400, Agustin Vega-Frias wrote: This allows irqchip drivers to associate an ACPI DSDT device to an IRQ domain and provides support for using t

Re: [PATCH V5 1/2] ACPI: Add support for ResourceSource/IRQ domain mapping

2016-10-23 Thread Hanjun Guo
On 2016/10/19 1:41, Agustin Vega-Frias wrote: > This allows irqchip drivers to associate an ACPI DSDT device to > an IRQ domain and provides support for using the ResourceSource > in Extended IRQ Resources to find the domain and map the IRQs > specified on that domain. > > Signed-off-by: Agustin Ve

Re: [PATCH V5 1/2] ACPI: Add support for ResourceSource/IRQ domain mapping

2016-10-20 Thread agustinv
Hey Marc, On 2016-10-20 13:51, Marc Zyngier wrote: On 20/10/16 17:48, Lorenzo Pieralisi wrote: Hi Agustin, On Tue, Oct 18, 2016 at 01:41:48PM -0400, Agustin Vega-Frias wrote: This allows irqchip drivers to associate an ACPI DSDT device to an IRQ domain and provides support for using the Resou

Re: [PATCH V5 1/2] ACPI: Add support for ResourceSource/IRQ domain mapping

2016-10-20 Thread agustinv
Hey Lorenzo, On 2016-10-20 12:48, Lorenzo Pieralisi wrote: Hi Agustin, On Tue, Oct 18, 2016 at 01:41:48PM -0400, Agustin Vega-Frias wrote: This allows irqchip drivers to associate an ACPI DSDT device to an IRQ domain and provides support for using the ResourceSource in Extended IRQ Resources t

Re: [PATCH V5 1/2] ACPI: Add support for ResourceSource/IRQ domain mapping

2016-10-20 Thread Marc Zyngier
On 20/10/16 17:48, Lorenzo Pieralisi wrote: > Hi Agustin, > > On Tue, Oct 18, 2016 at 01:41:48PM -0400, Agustin Vega-Frias wrote: >> This allows irqchip drivers to associate an ACPI DSDT device to >> an IRQ domain and provides support for using the ResourceSource >> in Extended IRQ Resources to fi

Re: [PATCH V5 1/2] ACPI: Add support for ResourceSource/IRQ domain mapping

2016-10-20 Thread Lorenzo Pieralisi
Hi Agustin, On Tue, Oct 18, 2016 at 01:41:48PM -0400, Agustin Vega-Frias wrote: > This allows irqchip drivers to associate an ACPI DSDT device to > an IRQ domain and provides support for using the ResourceSource > in Extended IRQ Resources to find the domain and map the IRQs > specified on that do

[PATCH V5 1/2] ACPI: Add support for ResourceSource/IRQ domain mapping

2016-10-18 Thread Agustin Vega-Frias
This allows irqchip drivers to associate an ACPI DSDT device to an IRQ domain and provides support for using the ResourceSource in Extended IRQ Resources to find the domain and map the IRQs specified on that domain. Signed-off-by: Agustin Vega-Frias --- drivers/acpi/Makefile | 1 +