On Friday 11 September 2015 16:22:12 Y Vo wrote:

 There are 20 GPIO pins from 0..21. There is no GPIO_DS14 or GPIO_DS15,
-only GPIO_DS8..GPIO_DS13 support interrupts. The IRQ mapping
+only GPIO_DS8..GPIO_DS13 support external interrupts. The IRQ mapping
 is currently 1-to-1 on interrupts 0x28 thru 0x2d.
+GPIO pins from GPIO_DS8 to GPIO_DS13 are configured as external interrupt
+by default. If one wish not to use any of these pins as external interrupts,
+the corresponding interrupt resource for those pins should be removed.

According to this description, I fail to see how one would specify
a missing interrupt for one of the pins that is not the last one in
the list.

	Arnd