On Fri, Feb 06, 2015 at 05:00:13PM +0100, Antonio Ospite wrote: > Last doubt, now that I am fixing the DSDT I am going to add an > Interrupt resource, but what is the correct way to specify its value? > Pin 3 of GPO2 is mapped to IRQ 220 by the mainline kernel, so I added > this: > > Interrupt (ResourceConsumer, Edge, ActiveHigh, Exclusive, ,, ) > { > 0x000000DC, > } > > And it works, but doesn't this rely on the way linux maps interrupt > numbers? Is this going to be OS agnostic? My doubt arises from the > fact that on the Android kernel the same pin is mapped to IRQ > 389. You should specify GpioInt() instead and turn it to interrupt using gpiod_to_irq(). -- To unsubscribe from this list: send the line "unsubscribe linux-input" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html