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

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

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

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

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

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

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

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

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

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

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

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

[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 ---

[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 +