|
@@ -11,6 +11,9 @@
|
|
|
* GNU General Public License for more details.
|
|
|
*/
|
|
|
|
|
|
+#include <dt-bindings/interrupt-controller/arm-gic.h>
|
|
|
+#include <dt-bindings/interrupt-controller/irq.h>
|
|
|
+
|
|
|
#include "skeleton.dtsi"
|
|
|
|
|
|
/ {
|
|
@@ -41,7 +44,7 @@
|
|
|
status = "disabled";
|
|
|
reg = <0x3e000000 0x1000>;
|
|
|
clock-frequency = <13000000>;
|
|
|
- interrupts = <0x0 67 0x4>;
|
|
|
+ interrupts = <GIC_SPI 67 IRQ_TYPE_LEVEL_HIGH>;
|
|
|
reg-shift = <2>;
|
|
|
reg-io-width = <4>;
|
|
|
};
|
|
@@ -56,7 +59,7 @@
|
|
|
timer@35006000 {
|
|
|
compatible = "bcm,kona-timer";
|
|
|
reg = <0x35006000 0x1000>;
|
|
|
- interrupts = <0x0 7 0x4>;
|
|
|
+ interrupts = <GIC_SPI 7 IRQ_TYPE_LEVEL_HIGH>;
|
|
|
clock-frequency = <32768>;
|
|
|
};
|
|
|
|