Hi, On Thu, Feb 07, 2019 at 12:29:17PM -0800, Dmitry Torokhov wrote: > > > > > Do you have a suggestion as to how to write ACPI tables to avoid the issue? > > > > 1. Allocate new ID and use it (perhaps not the best path). > > 2. Use GPE(s). > > > > Or just solve the issue of intermixing Interrupt() with GpioInt(). We > have similar issue with i2c and spi, but we sidestep that there as we > only parse the first interrupt and do not give option of fetching 2nd, > 3rd, etc. Maybe we should only GpioInt parsing for the first interrupt > in platform_get_irq() as well for the first iteration and then see if > we need to improve it if we see devices with multiple interrupts. I think it should be fine to intermix them or do what you suggest and start supporting index 0 for now and then maybe extend it in the future to cover more.