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().