Merge tag 'ntb-3.13' of git://github.com/jonmason/ntb
[linux-drm-fsl-dcu.git] / arch / arm / boot / dts / tegra114.dtsi
1 #include <dt-bindings/clock/tegra114-car.h>
2 #include <dt-bindings/gpio/tegra-gpio.h>
3 #include <dt-bindings/interrupt-controller/arm-gic.h>
4
5 #include "skeleton.dtsi"
6
7 / {
8         compatible = "nvidia,tegra114";
9         interrupt-parent = <&gic>;
10
11         aliases {
12                 serial0 = &uarta;
13                 serial1 = &uartb;
14                 serial2 = &uartc;
15                 serial3 = &uartd;
16         };
17
18         gic: interrupt-controller {
19                 compatible = "arm,cortex-a15-gic";
20                 #interrupt-cells = <3>;
21                 interrupt-controller;
22                 reg = <0x50041000 0x1000>,
23                       <0x50042000 0x1000>,
24                       <0x50044000 0x2000>,
25                       <0x50046000 0x2000>;
26                 interrupts = <GIC_PPI 9
27                         (GIC_CPU_MASK_SIMPLE(4) | IRQ_TYPE_LEVEL_HIGH)>;
28         };
29
30         timer@60005000 {
31                 compatible = "nvidia,tegra114-timer", "nvidia,tegra20-timer";
32                 reg = <0x60005000 0x400>;
33                 interrupts = <GIC_SPI 0 IRQ_TYPE_LEVEL_HIGH>,
34                              <GIC_SPI 1 IRQ_TYPE_LEVEL_HIGH>,
35                              <GIC_SPI 41 IRQ_TYPE_LEVEL_HIGH>,
36                              <GIC_SPI 42 IRQ_TYPE_LEVEL_HIGH>,
37                              <GIC_SPI 121 IRQ_TYPE_LEVEL_HIGH>,
38                              <GIC_SPI 122 IRQ_TYPE_LEVEL_HIGH>;
39                 clocks = <&tegra_car TEGRA114_CLK_TIMER>;
40         };
41
42         tegra_car: clock {
43                 compatible = "nvidia,tegra114-car";
44                 reg = <0x60006000 0x1000>;
45                 #clock-cells = <1>;
46         };
47
48         apbdma: dma {
49                 compatible = "nvidia,tegra114-apbdma";
50                 reg = <0x6000a000 0x1400>;
51                 interrupts = <GIC_SPI 104 IRQ_TYPE_LEVEL_HIGH>,
52                              <GIC_SPI 105 IRQ_TYPE_LEVEL_HIGH>,
53                              <GIC_SPI 106 IRQ_TYPE_LEVEL_HIGH>,
54                              <GIC_SPI 107 IRQ_TYPE_LEVEL_HIGH>,
55                              <GIC_SPI 108 IRQ_TYPE_LEVEL_HIGH>,
56                              <GIC_SPI 109 IRQ_TYPE_LEVEL_HIGH>,
57                              <GIC_SPI 110 IRQ_TYPE_LEVEL_HIGH>,
58                              <GIC_SPI 111 IRQ_TYPE_LEVEL_HIGH>,
59                              <GIC_SPI 112 IRQ_TYPE_LEVEL_HIGH>,
60                              <GIC_SPI 113 IRQ_TYPE_LEVEL_HIGH>,
61                              <GIC_SPI 114 IRQ_TYPE_LEVEL_HIGH>,
62                              <GIC_SPI 115 IRQ_TYPE_LEVEL_HIGH>,
63                              <GIC_SPI 116 IRQ_TYPE_LEVEL_HIGH>,
64                              <GIC_SPI 117 IRQ_TYPE_LEVEL_HIGH>,
65                              <GIC_SPI 118 IRQ_TYPE_LEVEL_HIGH>,
66                              <GIC_SPI 119 IRQ_TYPE_LEVEL_HIGH>,
67                              <GIC_SPI 128 IRQ_TYPE_LEVEL_HIGH>,
68                              <GIC_SPI 129 IRQ_TYPE_LEVEL_HIGH>,
69                              <GIC_SPI 130 IRQ_TYPE_LEVEL_HIGH>,
70                              <GIC_SPI 131 IRQ_TYPE_LEVEL_HIGH>,
71                              <GIC_SPI 132 IRQ_TYPE_LEVEL_HIGH>,
72                              <GIC_SPI 133 IRQ_TYPE_LEVEL_HIGH>,
73                              <GIC_SPI 134 IRQ_TYPE_LEVEL_HIGH>,
74                              <GIC_SPI 135 IRQ_TYPE_LEVEL_HIGH>,
75                              <GIC_SPI 136 IRQ_TYPE_LEVEL_HIGH>,
76                              <GIC_SPI 137 IRQ_TYPE_LEVEL_HIGH>,
77                              <GIC_SPI 138 IRQ_TYPE_LEVEL_HIGH>,
78                              <GIC_SPI 139 IRQ_TYPE_LEVEL_HIGH>,
79                              <GIC_SPI 140 IRQ_TYPE_LEVEL_HIGH>,
80                              <GIC_SPI 141 IRQ_TYPE_LEVEL_HIGH>,
81                              <GIC_SPI 142 IRQ_TYPE_LEVEL_HIGH>,
82                              <GIC_SPI 143 IRQ_TYPE_LEVEL_HIGH>;
83                 clocks = <&tegra_car TEGRA114_CLK_APBDMA>;
84         };
85
86         ahb: ahb {
87                 compatible = "nvidia,tegra114-ahb", "nvidia,tegra30-ahb";
88                 reg = <0x6000c004 0x14c>;
89         };
90
91         gpio: gpio {
92                 compatible = "nvidia,tegra114-gpio", "nvidia,tegra30-gpio";
93                 reg = <0x6000d000 0x1000>;
94                 interrupts = <GIC_SPI 32 IRQ_TYPE_LEVEL_HIGH>,
95                              <GIC_SPI 33 IRQ_TYPE_LEVEL_HIGH>,
96                              <GIC_SPI 34 IRQ_TYPE_LEVEL_HIGH>,
97                              <GIC_SPI 35 IRQ_TYPE_LEVEL_HIGH>,
98                              <GIC_SPI 55 IRQ_TYPE_LEVEL_HIGH>,
99                              <GIC_SPI 87 IRQ_TYPE_LEVEL_HIGH>,
100                              <GIC_SPI 89 IRQ_TYPE_LEVEL_HIGH>,
101                              <GIC_SPI 125 IRQ_TYPE_LEVEL_HIGH>;
102                 #gpio-cells = <2>;
103                 gpio-controller;
104                 #interrupt-cells = <2>;
105                 interrupt-controller;
106         };
107
108         pinmux: pinmux {
109                 compatible = "nvidia,tegra114-pinmux";
110                 reg = <0x70000868 0x148         /* Pad control registers */
111                        0x70003000 0x40c>;       /* Mux registers */
112         };
113
114         /*
115          * There are two serial driver i.e. 8250 based simple serial
116          * driver and APB DMA based serial driver for higher baudrate
117          * and performace. To enable the 8250 based driver, the compatible
118          * is "nvidia,tegra114-uart", "nvidia,tegra20-uart" and to enable
119          * the APB DMA based serial driver, the comptible is
120          * "nvidia,tegra114-hsuart", "nvidia,tegra30-hsuart".
121          */
122         uarta: serial@70006000 {
123                 compatible = "nvidia,tegra114-uart", "nvidia,tegra20-uart";
124                 reg = <0x70006000 0x40>;
125                 reg-shift = <2>;
126                 interrupts = <GIC_SPI 36 IRQ_TYPE_LEVEL_HIGH>;
127                 nvidia,dma-request-selector = <&apbdma 8>;
128                 status = "disabled";
129                 clocks = <&tegra_car TEGRA114_CLK_UARTA>;
130         };
131
132         uartb: serial@70006040 {
133                 compatible = "nvidia,tegra114-uart", "nvidia,tegra20-uart";
134                 reg = <0x70006040 0x40>;
135                 reg-shift = <2>;
136                 interrupts = <GIC_SPI 37 IRQ_TYPE_LEVEL_HIGH>;
137                 nvidia,dma-request-selector = <&apbdma 9>;
138                 status = "disabled";
139                 clocks = <&tegra_car TEGRA114_CLK_UARTB>;
140         };
141
142         uartc: serial@70006200 {
143                 compatible = "nvidia,tegra114-uart", "nvidia,tegra20-uart";
144                 reg = <0x70006200 0x100>;
145                 reg-shift = <2>;
146                 interrupts = <GIC_SPI 46 IRQ_TYPE_LEVEL_HIGH>;
147                 nvidia,dma-request-selector = <&apbdma 10>;
148                 status = "disabled";
149                 clocks = <&tegra_car TEGRA114_CLK_UARTC>;
150         };
151
152         uartd: serial@70006300 {
153                 compatible = "nvidia,tegra114-uart", "nvidia,tegra20-uart";
154                 reg = <0x70006300 0x100>;
155                 reg-shift = <2>;
156                 interrupts = <GIC_SPI 90 IRQ_TYPE_LEVEL_HIGH>;
157                 nvidia,dma-request-selector = <&apbdma 19>;
158                 status = "disabled";
159                 clocks = <&tegra_car TEGRA114_CLK_UARTD>;
160         };
161
162         pwm: pwm {
163                 compatible = "nvidia,tegra114-pwm", "nvidia,tegra20-pwm";
164                 reg = <0x7000a000 0x100>;
165                 #pwm-cells = <2>;
166                 clocks = <&tegra_car TEGRA114_CLK_PWM>;
167                 status = "disabled";
168         };
169
170         i2c@7000c000 {
171                 compatible = "nvidia,tegra114-i2c";
172                 reg = <0x7000c000 0x100>;
173                 interrupts = <GIC_SPI 38 IRQ_TYPE_LEVEL_HIGH>;
174                 #address-cells = <1>;
175                 #size-cells = <0>;
176                 clocks = <&tegra_car TEGRA114_CLK_I2C1>;
177                 clock-names = "div-clk";
178                 status = "disabled";
179         };
180
181         i2c@7000c400 {
182                 compatible = "nvidia,tegra114-i2c";
183                 reg = <0x7000c400 0x100>;
184                 interrupts = <GIC_SPI 84 IRQ_TYPE_LEVEL_HIGH>;
185                 #address-cells = <1>;
186                 #size-cells = <0>;
187                 clocks = <&tegra_car TEGRA114_CLK_I2C2>;
188                 clock-names = "div-clk";
189                 status = "disabled";
190         };
191
192         i2c@7000c500 {
193                 compatible = "nvidia,tegra114-i2c";
194                 reg = <0x7000c500 0x100>;
195                 interrupts = <GIC_SPI 92 IRQ_TYPE_LEVEL_HIGH>;
196                 #address-cells = <1>;
197                 #size-cells = <0>;
198                 clocks = <&tegra_car TEGRA114_CLK_I2C3>;
199                 clock-names = "div-clk";
200                 status = "disabled";
201         };
202
203         i2c@7000c700 {
204                 compatible = "nvidia,tegra114-i2c";
205                 reg = <0x7000c700 0x100>;
206                 interrupts = <GIC_SPI 120 IRQ_TYPE_LEVEL_HIGH>;
207                 #address-cells = <1>;
208                 #size-cells = <0>;
209                 clocks = <&tegra_car TEGRA114_CLK_I2C4>;
210                 clock-names = "div-clk";
211                 status = "disabled";
212         };
213
214         i2c@7000d000 {
215                 compatible = "nvidia,tegra114-i2c";
216                 reg = <0x7000d000 0x100>;
217                 interrupts = <GIC_SPI 53 IRQ_TYPE_LEVEL_HIGH>;
218                 #address-cells = <1>;
219                 #size-cells = <0>;
220                 clocks = <&tegra_car TEGRA114_CLK_I2C5>;
221                 clock-names = "div-clk";
222                 status = "disabled";
223         };
224
225         spi@7000d400 {
226                 compatible = "nvidia,tegra114-spi";
227                 reg = <0x7000d400 0x200>;
228                 interrupts = <GIC_SPI 59 IRQ_TYPE_LEVEL_HIGH>;
229                 nvidia,dma-request-selector = <&apbdma 15>;
230                 #address-cells = <1>;
231                 #size-cells = <0>;
232                 clocks = <&tegra_car TEGRA114_CLK_SBC1>;
233                 clock-names = "spi";
234                 status = "disabled";
235         };
236
237         spi@7000d600 {
238                 compatible = "nvidia,tegra114-spi";
239                 reg = <0x7000d600 0x200>;
240                 interrupts = <GIC_SPI 82 IRQ_TYPE_LEVEL_HIGH>;
241                 nvidia,dma-request-selector = <&apbdma 16>;
242                 #address-cells = <1>;
243                 #size-cells = <0>;
244                 clocks = <&tegra_car TEGRA114_CLK_SBC2>;
245                 clock-names = "spi";
246                 status = "disabled";
247         };
248
249         spi@7000d800 {
250                 compatible = "nvidia,tegra114-spi";
251                 reg = <0x7000d800 0x200>;
252                 interrupts = <GIC_SPI 83 IRQ_TYPE_LEVEL_HIGH>;
253                 nvidia,dma-request-selector = <&apbdma 17>;
254                 #address-cells = <1>;
255                 #size-cells = <0>;
256                 clocks = <&tegra_car TEGRA114_CLK_SBC3>;
257                 clock-names = "spi";
258                 status = "disabled";
259         };
260
261         spi@7000da00 {
262                 compatible = "nvidia,tegra114-spi";
263                 reg = <0x7000da00 0x200>;
264                 interrupts = <GIC_SPI 93 IRQ_TYPE_LEVEL_HIGH>;
265                 nvidia,dma-request-selector = <&apbdma 18>;
266                 #address-cells = <1>;
267                 #size-cells = <0>;
268                 clocks = <&tegra_car TEGRA114_CLK_SBC4>;
269                 clock-names = "spi";
270                 status = "disabled";
271         };
272
273         spi@7000dc00 {
274                 compatible = "nvidia,tegra114-spi";
275                 reg = <0x7000dc00 0x200>;
276                 interrupts = <GIC_SPI 94 IRQ_TYPE_LEVEL_HIGH>;
277                 nvidia,dma-request-selector = <&apbdma 27>;
278                 #address-cells = <1>;
279                 #size-cells = <0>;
280                 clocks = <&tegra_car TEGRA114_CLK_SBC5>;
281                 clock-names = "spi";
282                 status = "disabled";
283         };
284
285         spi@7000de00 {
286                 compatible = "nvidia,tegra114-spi";
287                 reg = <0x7000de00 0x200>;
288                 interrupts = <GIC_SPI 79 IRQ_TYPE_LEVEL_HIGH>;
289                 nvidia,dma-request-selector = <&apbdma 28>;
290                 #address-cells = <1>;
291                 #size-cells = <0>;
292                 clocks = <&tegra_car TEGRA114_CLK_SBC6>;
293                 clock-names = "spi";
294                 status = "disabled";
295         };
296
297         rtc {
298                 compatible = "nvidia,tegra114-rtc", "nvidia,tegra20-rtc";
299                 reg = <0x7000e000 0x100>;
300                 interrupts = <GIC_SPI 2 IRQ_TYPE_LEVEL_HIGH>;
301                 clocks = <&tegra_car TEGRA114_CLK_RTC>;
302         };
303
304         kbc {
305                 compatible = "nvidia,tegra114-kbc";
306                 reg = <0x7000e200 0x100>;
307                 interrupts = <GIC_SPI 85 IRQ_TYPE_LEVEL_HIGH>;
308                 clocks = <&tegra_car TEGRA114_CLK_KBC>;
309                 status = "disabled";
310         };
311
312         pmc {
313                 compatible = "nvidia,tegra114-pmc";
314                 reg = <0x7000e400 0x400>;
315                 clocks = <&tegra_car TEGRA114_CLK_PCLK>, <&clk32k_in>;
316                 clock-names = "pclk", "clk32k_in";
317         };
318
319         iommu {
320                 compatible = "nvidia,tegra114-smmu", "nvidia,tegra30-smmu";
321                 reg = <0x70019010 0x02c
322                        0x700191f0 0x010
323                        0x70019228 0x074>;
324                 nvidia,#asids = <4>;
325                 dma-window = <0 0x40000000>;
326                 nvidia,swgroups = <0x18659fe>;
327                 nvidia,ahb = <&ahb>;
328         };
329
330         ahub {
331                 compatible = "nvidia,tegra114-ahub";
332                 reg = <0x70080000 0x200>,
333                       <0x70080200 0x100>,
334                       <0x70081000 0x200>;
335                 interrupts = <GIC_SPI 103 IRQ_TYPE_LEVEL_HIGH>;
336                 nvidia,dma-request-selector = <&apbdma 1>, <&apbdma 2>,
337                         <&apbdma 3>, <&apbdma 4>, <&apbdma 6>, <&apbdma 7>,
338                         <&apbdma 12>, <&apbdma 13>, <&apbdma 14>,
339                         <&apbdma 29>;
340                 clocks = <&tegra_car TEGRA114_CLK_D_AUDIO>,
341                          <&tegra_car TEGRA114_CLK_APBIF>,
342                          <&tegra_car TEGRA114_CLK_I2S0>,
343                          <&tegra_car TEGRA114_CLK_I2S1>,
344                          <&tegra_car TEGRA114_CLK_I2S2>,
345                          <&tegra_car TEGRA114_CLK_I2S3>,
346                          <&tegra_car TEGRA114_CLK_I2S4>,
347                          <&tegra_car TEGRA114_CLK_DAM0>,
348                          <&tegra_car TEGRA114_CLK_DAM1>,
349                          <&tegra_car TEGRA114_CLK_DAM2>,
350                          <&tegra_car TEGRA114_CLK_SPDIF_IN>,
351                          <&tegra_car TEGRA114_CLK_AMX>,
352                          <&tegra_car TEGRA114_CLK_ADX>;
353                 clock-names = "d_audio", "apbif", "i2s0", "i2s1", "i2s2",
354                               "i2s3", "i2s4", "dam0", "dam1", "dam2",
355                               "spdif_in", "amx", "adx";
356                 ranges;
357                 #address-cells = <1>;
358                 #size-cells = <1>;
359
360                 tegra_i2s0: i2s@70080300 {
361                         compatible = "nvidia,tegra114-i2s", "nvidia,tegra30-i2s";
362                         reg = <0x70080300 0x100>;
363                         nvidia,ahub-cif-ids = <4 4>;
364                         clocks = <&tegra_car TEGRA114_CLK_I2S0>;
365                         status = "disabled";
366                 };
367
368                 tegra_i2s1: i2s@70080400 {
369                         compatible = "nvidia,tegra114-i2s", "nvidia,tegra30-i2s";
370                         reg = <0x70080400 0x100>;
371                         nvidia,ahub-cif-ids = <5 5>;
372                         clocks = <&tegra_car TEGRA114_CLK_I2S1>;
373                         status = "disabled";
374                 };
375
376                 tegra_i2s2: i2s@70080500 {
377                         compatible = "nvidia,tegra114-i2s", "nvidia,tegra30-i2s";
378                         reg = <0x70080500 0x100>;
379                         nvidia,ahub-cif-ids = <6 6>;
380                         clocks = <&tegra_car TEGRA114_CLK_I2S2>;
381                         status = "disabled";
382                 };
383
384                 tegra_i2s3: i2s@70080600 {
385                         compatible = "nvidia,tegra114-i2s", "nvidia,tegra30-i2s";
386                         reg = <0x70080600 0x100>;
387                         nvidia,ahub-cif-ids = <7 7>;
388                         clocks = <&tegra_car TEGRA114_CLK_I2S3>;
389                         status = "disabled";
390                 };
391
392                 tegra_i2s4: i2s@70080700 {
393                         compatible = "nvidia,tegra114-i2s", "nvidia,tegra30-i2s";
394                         reg = <0x70080700 0x100>;
395                         nvidia,ahub-cif-ids = <8 8>;
396                         clocks = <&tegra_car TEGRA114_CLK_I2S4>;
397                         status = "disabled";
398                 };
399         };
400
401         sdhci@78000000 {
402                 compatible = "nvidia,tegra114-sdhci", "nvidia,tegra30-sdhci";
403                 reg = <0x78000000 0x200>;
404                 interrupts = <GIC_SPI 14 IRQ_TYPE_LEVEL_HIGH>;
405                 clocks = <&tegra_car TEGRA114_CLK_SDMMC1>;
406                 status = "disable";
407         };
408
409         sdhci@78000200 {
410                 compatible = "nvidia,tegra114-sdhci", "nvidia,tegra30-sdhci";
411                 reg = <0x78000200 0x200>;
412                 interrupts = <GIC_SPI 15 IRQ_TYPE_LEVEL_HIGH>;
413                 clocks = <&tegra_car TEGRA114_CLK_SDMMC2>;
414                 status = "disable";
415         };
416
417         sdhci@78000400 {
418                 compatible = "nvidia,tegra114-sdhci", "nvidia,tegra30-sdhci";
419                 reg = <0x78000400 0x200>;
420                 interrupts = <GIC_SPI 19 IRQ_TYPE_LEVEL_HIGH>;
421                 clocks = <&tegra_car TEGRA114_CLK_SDMMC3>;
422                 status = "disable";
423         };
424
425         sdhci@78000600 {
426                 compatible = "nvidia,tegra114-sdhci", "nvidia,tegra30-sdhci";
427                 reg = <0x78000600 0x200>;
428                 interrupts = <GIC_SPI 31 IRQ_TYPE_LEVEL_HIGH>;
429                 clocks = <&tegra_car TEGRA114_CLK_SDMMC4>;
430                 status = "disable";
431         };
432
433         usb@7d000000 {
434                 compatible = "nvidia,tegra30-ehci", "usb-ehci";
435                 reg = <0x7d000000 0x4000>;
436                 interrupts = <GIC_SPI 20 IRQ_TYPE_LEVEL_HIGH>;
437                 phy_type = "utmi";
438                 clocks = <&tegra_car TEGRA114_CLK_USBD>;
439                 nvidia,phy = <&phy1>;
440                 status = "disabled";
441         };
442
443         phy1: usb-phy@7d000000 {
444                 compatible = "nvidia,tegra30-usb-phy";
445                 reg = <0x7d000000 0x4000 0x7d000000 0x4000>;
446                 phy_type = "utmi";
447                 clocks = <&tegra_car TEGRA114_CLK_USBD>,
448                          <&tegra_car TEGRA114_CLK_PLL_U>,
449                          <&tegra_car TEGRA114_CLK_USBD>;
450                 clock-names = "reg", "pll_u", "utmi-pads";
451                 nvidia,hssync-start-delay = <0>;
452                 nvidia,idle-wait-delay = <17>;
453                 nvidia,elastic-limit = <16>;
454                 nvidia,term-range-adj = <6>;
455                 nvidia,xcvr-setup = <9>;
456                 nvidia,xcvr-lsfslew = <0>;
457                 nvidia,xcvr-lsrslew = <3>;
458                 nvidia,hssquelch-level = <2>;
459                 nvidia,hsdiscon-level = <5>;
460                 nvidia,xcvr-hsslew = <12>;
461                 status = "disabled";
462         };
463
464         usb@7d008000 {
465                 compatible = "nvidia,tegra30-ehci", "usb-ehci";
466                 reg = <0x7d008000 0x4000>;
467                 interrupts = <GIC_SPI 97 IRQ_TYPE_LEVEL_HIGH>;
468                 phy_type = "utmi";
469                 clocks = <&tegra_car TEGRA114_CLK_USB3>;
470                 nvidia,phy = <&phy3>;
471                 status = "disabled";
472         };
473
474         phy3: usb-phy@7d008000 {
475                 compatible = "nvidia,tegra30-usb-phy";
476                 reg = <0x7d008000 0x4000 0x7d000000 0x4000>;
477                 phy_type = "utmi";
478                 clocks = <&tegra_car TEGRA114_CLK_USB3>,
479                          <&tegra_car TEGRA114_CLK_PLL_U>,
480                          <&tegra_car TEGRA114_CLK_USBD>;
481                 clock-names = "reg", "pll_u", "utmi-pads";
482                 nvidia,hssync-start-delay = <0>;
483                 nvidia,idle-wait-delay = <17>;
484                 nvidia,elastic-limit = <16>;
485                 nvidia,term-range-adj = <6>;
486                 nvidia,xcvr-setup = <9>;
487                 nvidia,xcvr-lsfslew = <0>;
488                 nvidia,xcvr-lsrslew = <3>;
489                 nvidia,hssquelch-level = <2>;
490                 nvidia,hsdiscon-level = <5>;
491                 nvidia,xcvr-hsslew = <12>;
492                 status = "disabled";
493         };
494
495         cpus {
496                 #address-cells = <1>;
497                 #size-cells = <0>;
498
499                 cpu@0 {
500                         device_type = "cpu";
501                         compatible = "arm,cortex-a15";
502                         reg = <0>;
503                 };
504
505                 cpu@1 {
506                         device_type = "cpu";
507                         compatible = "arm,cortex-a15";
508                         reg = <1>;
509                 };
510
511                 cpu@2 {
512                         device_type = "cpu";
513                         compatible = "arm,cortex-a15";
514                         reg = <2>;
515                 };
516
517                 cpu@3 {
518                         device_type = "cpu";
519                         compatible = "arm,cortex-a15";
520                         reg = <3>;
521                 };
522         };
523
524         timer {
525                 compatible = "arm,armv7-timer";
526                 interrupts =
527                         <GIC_PPI 13
528                                 (GIC_CPU_MASK_SIMPLE(4) | IRQ_TYPE_LEVEL_LOW)>,
529                         <GIC_PPI 14
530                                 (GIC_CPU_MASK_SIMPLE(4) | IRQ_TYPE_LEVEL_LOW)>,
531                         <GIC_PPI 11
532                                 (GIC_CPU_MASK_SIMPLE(4) | IRQ_TYPE_LEVEL_LOW)>,
533                         <GIC_PPI 10
534                                 (GIC_CPU_MASK_SIMPLE(4) | IRQ_TYPE_LEVEL_LOW)>;
535         };
536 };