need help to configure IRQ on gpio 139 pandaboard using device tree

[Denis CIOCCA <denis.ciocca@st.com>]

Hi everybody,

I'm trying to configure an IRQ on pandaboard using device tree but I'm 
not able to understand how I can do it.
I want to configure the the gpio_139 pin and without device tree my 
command was:

OMAP4_MUX(MCSPI1_SIMO, OMAP_MUX_MODE3 | OMAP_PIN_INPUT_PULLUP),

I need to associate it to a i2c device, declared in this way:

&i2c4 {
     pinctrl-names = "default";
     pinctrl-0 = <&i2c4_pins>;

     clock-frequency = <400000>;

     lsm303d@03 {
         compatible = "st,lsm303d";
         reg = <0x03>;
     };
};

and it works, but I don't know how I can set the interrupt using:
interrupts = <GIC_SPI 119 IRQ_TYPE_LEVEL_HIGH>; /* example */


Thanks,

Denis