1/*
2 * Copyright (c) 2013, Al Stone <al.stone@linaro.org>
3 *                     Hanjun Guo <hanjun.guo@linaro.org>
4 * All rights reserved.
5 *
6 * Redistribution and use in source and binary forms, with or without
7 * modification, are permitted provided that the following conditions
8 * are met:
9 *
10 * 1. Redistributions of source code must retain the above copyright
11 * notice, this list of conditions and the following disclaimer.
12 *
13 * 2. Redistributions in binary form must reproduce the above copyright
14 * notice, this list of conditions and the following disclaimer in the
15 * documentation and/or other materials provided with the distribution.
16 *
17 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
18 * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
19 * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
20 * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
21 * HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
22 * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED
23 * TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
24 * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
25 * LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
26 * NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
27 * SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
28 *
29 *
30 * NB: This License is also known as the "BSD 2-Clause License".
31 *
32 *
33 * [GTDT] Generic Timer Description Table
34 * Format: [ByteLength]  FieldName : HexFieldValue
35 *
36 */
37
38[0004]                          Signature : "GTDT"
39[0004]                       Table Length : 00000050
40[0001]                           Revision : 02
41[0001]                           Checksum : F1
42[0006]                             Oem ID : "LINARO"
43[0008]                       Oem Table ID : "RTSMVEV8"
44[0004]                       Oem Revision : 00000001
45[0004]                    Asl Compiler ID : "INTL"
46[0004]              Asl Compiler Revision : 20110623
47
48[0008]              Counter Block Address : 0000000000000000
49[0004]                           Reserved : 00000000
50
51/* In RTSM model's dts file, the last cell of interrupts
52 * is 0xff01, it means its cpu mask is FF, and trigger type
53 * and flag is 1 = low-to-high edge triggered.
54 *
55 * so in ACPI the Trigger Mode is 1 - Edge triggered, and
56 * Polarity is 0 - Active high as ACPI spec describled.
57 *
58 * using direct mapping for hwirqs, it means that we using
59 * ID [16, 31] for PPI, not [0, 15] used in FDT.
60 */
61[0004]               Secure EL1 Interrupt : 0000001d
62[0004]         SEL1 Flags (decoded below) : 00000001
63                             Trigger Mode : 1
64                                 Polarity : 0
65                                Always-on : 0
66
67[0004]           Non-Secure EL1 Interrupt : 0000001e
68[0004]        NSEL1 Flags (decoded below) : 00000001
69                             Trigger Mode : 1
70                                 Polarity : 0
71                                Always-on : 0
72
73[0004]            Virtual Timer Interrupt : 0000001b
74[0004]           VT Flags (decoded below) : 00000001
75                             Trigger Mode : 1
76                                 Polarity : 0
77                                Always-on : 0
78
79[0004]           Non-Secure EL2 Interrupt : 0000001a
80[0004]        NSEL2 Flags (decoded below) : 00000001
81                             Trigger Mode : 1
82                                 Polarity : 0
83				Always-on : 0
84
85/* The 64-bit physical address at which the Counter Read block is located */
86[0008]	     CntReadBase Physical address : 0000000000000000
87
88[0004]               Platform Timer Count : 00000001
89[0004]              Platform Timer Offset : 0000005C
90
91/* Memory-mapped GT (Generic Timer) structures */
92[0001]                      Subtable Type : 00
93[0002]                             Length : 0064
94[0001]                           Reserved : 000000
95[0008]                      Block Address : 000000002a810000
96[0004]                        Timer Count : 00000001
97[0004]                       Timer Offset : 00000010
98
99/* One frame is available */
100[0001]                       Frame Number : 00
101[0003]                           Reserved : 000000
102[0008]                       Base Address : 000000002a820000
103[0008]                   EL0 Base Address : FFFFFFFFFFFFFFFF
104[0004]                    Timer Interrupt : 00000029 /* 25+16 */
105[0004]        Timer Flags (decoded below) : 00000000 /* Active high level-sensitive */
106                             Trigger Mode : 0
107                                 Polarity : 0
108/* No virtual timer */
109[0004]            Virtual Timer Interrupt : 00000000
110[0004] Virtual Timer Flags (decoded below) : 00000000
111                             Trigger Mode : 0
112                                 Polarity : 0
113[0004]       Common Flags (decoded below) : 00000000
114                                   Secure : 0
115                                Always On : 0
116
117