interrupt-controller;
                        #interrupt-cells = <2>;
                        reg = <0x5000d000 0x400>;
+                       interrupts-extended =
+                               <&intc GIC_SPI 6   IRQ_TYPE_LEVEL_HIGH>,        /* EXTI_0 */
+                               <&intc GIC_SPI 7   IRQ_TYPE_LEVEL_HIGH>,
+                               <&intc GIC_SPI 8   IRQ_TYPE_LEVEL_HIGH>,
+                               <&intc GIC_SPI 9   IRQ_TYPE_LEVEL_HIGH>,
+                               <&intc GIC_SPI 10  IRQ_TYPE_LEVEL_HIGH>,
+                               <&intc GIC_SPI 23  IRQ_TYPE_LEVEL_HIGH>,
+                               <&intc GIC_SPI 64  IRQ_TYPE_LEVEL_HIGH>,
+                               <&intc GIC_SPI 65  IRQ_TYPE_LEVEL_HIGH>,
+                               <&intc GIC_SPI 66  IRQ_TYPE_LEVEL_HIGH>,
+                               <&intc GIC_SPI 67  IRQ_TYPE_LEVEL_HIGH>,
+                               <&intc GIC_SPI 40  IRQ_TYPE_LEVEL_HIGH>,        /* EXTI_10 */
+                               <&intc GIC_SPI 42  IRQ_TYPE_LEVEL_HIGH>,
+                               <&intc GIC_SPI 76  IRQ_TYPE_LEVEL_HIGH>,
+                               <&intc GIC_SPI 77  IRQ_TYPE_LEVEL_HIGH>,
+                               <&intc GIC_SPI 121 IRQ_TYPE_LEVEL_HIGH>,
+                               <&intc GIC_SPI 127 IRQ_TYPE_LEVEL_HIGH>,
+                               <&intc GIC_SPI 1   IRQ_TYPE_LEVEL_HIGH>,
+                               <0>,
+                               <0>,
+                               <&intc GIC_SPI 3   IRQ_TYPE_LEVEL_HIGH>,
+                               <0>,                                            /* EXTI_20 */
+                               <&intc GIC_SPI 31  IRQ_TYPE_LEVEL_HIGH>,
+                               <&intc GIC_SPI 33  IRQ_TYPE_LEVEL_HIGH>,
+                               <&intc GIC_SPI 72  IRQ_TYPE_LEVEL_HIGH>,
+                               <&intc GIC_SPI 95  IRQ_TYPE_LEVEL_HIGH>,
+                               <&intc GIC_SPI 107 IRQ_TYPE_LEVEL_HIGH>,
+                               <&intc GIC_SPI 37  IRQ_TYPE_LEVEL_HIGH>,
+                               <&intc GIC_SPI 38  IRQ_TYPE_LEVEL_HIGH>,
+                               <&intc GIC_SPI 39  IRQ_TYPE_LEVEL_HIGH>,
+                               <&intc GIC_SPI 71  IRQ_TYPE_LEVEL_HIGH>,
+                               <&intc GIC_SPI 52  IRQ_TYPE_LEVEL_HIGH>,        /* EXTI_30 */
+                               <&intc GIC_SPI 53  IRQ_TYPE_LEVEL_HIGH>,
+                               <&intc GIC_SPI 82  IRQ_TYPE_LEVEL_HIGH>,
+                               <&intc GIC_SPI 83  IRQ_TYPE_LEVEL_HIGH>,
+                               <0>,
+                               <0>,
+                               <0>,
+                               <0>,
+                               <0>,
+                               <0>,
+                               <0>,                                            /* EXTI_40 */
+                               <0>,
+                               <0>,
+                               <0>,
+                               <0>,
+                               <0>,
+                               <&intc GIC_SPI 151 IRQ_TYPE_LEVEL_HIGH>,
+                               <&intc GIC_SPI 93  IRQ_TYPE_LEVEL_HIGH>,
+                               <&intc GIC_SPI 138 IRQ_TYPE_LEVEL_HIGH>,
+                               <0>,
+                               <&intc GIC_SPI 139 IRQ_TYPE_LEVEL_HIGH>,        /* EXTI_50 */
+                               <0>,
+                               <&intc GIC_SPI 140 IRQ_TYPE_LEVEL_HIGH>,
+                               <&intc GIC_SPI 141 IRQ_TYPE_LEVEL_HIGH>,
+                               <&intc GIC_SPI 135 IRQ_TYPE_LEVEL_HIGH>,
+                               <0>,
+                               <0>,
+                               <0>,
+                               <0>,
+                               <0>,
+                               <0>,                                            /* EXTI_60 */
+                               <&intc GIC_SPI 100 IRQ_TYPE_LEVEL_HIGH>,
+                               <0>,
+                               <0>,
+                               <0>,
+                               <&intc GIC_SPI 144 IRQ_TYPE_LEVEL_HIGH>,
+                               <0>,
+                               <0>,
+                               <&intc GIC_SPI 143 IRQ_TYPE_LEVEL_HIGH>,
+                               <0>,
+                               <&intc GIC_SPI 62  IRQ_TYPE_LEVEL_HIGH>,        /* EXTI_70 */
+                               <0>,
+                               <0>,
+                               <&intc GIC_SPI 129 IRQ_TYPE_LEVEL_HIGH>;
                };
 
                syscfg: syscon@50020000 {