1 // SPDX-License-Identifier: (GPL-2.0 OR MIT)
3 // Copyright 2013 Freescale Semiconductor, Inc.
6 #include <dt-bindings/interrupt-controller/arm-gic.h>
13 memory { device_type = "memory"; };
20 compatible = "arm,cortex-a5";
29 intc: interrupt-controller@40003000 {
30 compatible = "arm,cortex-a9-gic";
31 #interrupt-cells = <3>;
33 interrupt-parent = <&intc>;
34 reg = <0x40003000 0x1000>,
38 global_timer: timer@40002200 {
39 compatible = "arm,cortex-a9-global-timer";
40 reg = <0x40002200 0x20>;
41 interrupts = <GIC_PPI 11 IRQ_TYPE_EDGE_RISING>;
42 interrupt-parent = <&intc>;
43 clocks = <&clks VF610_CLK_PLATFORM_BUS>;
49 compatible = "arm,cortex-a5-pmu";
50 interrupts = <7 IRQ_TYPE_LEVEL_HIGH>;
51 interrupt-affinity = <&a5_cpu>;
52 reg = <0x40089000 0x1000>;
60 interrupt-parent = <&intc>;