1 /** @file
2 *
3 *  Copyright (c) 2011-2013, ARM Limited. All rights reserved.
4 *
5 *  This program and the accompanying materials
6 *  are licensed and made available under the terms and conditions of the BSD License
7 *  which accompanies this distribution.  The full text of the license may be found at
8 *  http://opensource.org/licenses/bsd-license.php
9 *
10 *  THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
11 *  WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
12 *
13 **/
14 
15 #ifndef __ARM_ARCH_TIMER_H_
16 #define __ARM_ARCH_TIMER_H_
17 
18 UINTN
19 EFIAPI
20 ArmReadCntFrq (
21   VOID
22   );
23 
24 VOID
25 EFIAPI
26 ArmWriteCntFrq (
27   UINTN   FreqInHz
28   );
29 
30 UINT64
31 EFIAPI
32 ArmReadCntPct (
33   VOID
34   );
35 
36 UINTN
37 EFIAPI
38 ArmReadCntkCtl (
39   VOID
40   );
41 
42 VOID
43 EFIAPI
44 ArmWriteCntkCtl (
45   UINTN   Val
46   );
47 
48 UINTN
49 EFIAPI
50 ArmReadCntpTval (
51   VOID
52   );
53 
54 VOID
55 EFIAPI
56 ArmWriteCntpTval (
57   UINTN   Val
58   );
59 
60 UINTN
61 EFIAPI
62 ArmReadCntpCtl (
63   VOID
64   );
65 
66 VOID
67 EFIAPI
68 ArmWriteCntpCtl (
69   UINTN   Val
70   );
71 
72 UINTN
73 EFIAPI
74 ArmReadCntvTval (
75   VOID
76   );
77 
78 VOID
79 EFIAPI
80 ArmWriteCntvTval (
81   UINTN   Val
82   );
83 
84 UINTN
85 EFIAPI
86 ArmReadCntvCtl (
87   VOID
88   );
89 
90 VOID
91 EFIAPI
92 ArmWriteCntvCtl (
93   UINTN   Val
94   );
95 
96 UINT64
97 EFIAPI
98 ArmReadCntvCt (
99   VOID
100   );
101 
102 UINT64
103 EFIAPI
104 ArmReadCntpCval (
105   VOID
106   );
107 
108 VOID
109 EFIAPI
110 ArmWriteCntpCval (
111   UINT64   Val
112   );
113 
114 UINT64
115 EFIAPI
116 ArmReadCntvCval (
117   VOID
118   );
119 
120 VOID
121 EFIAPI
122 ArmWriteCntvCval (
123   UINT64   Val
124   );
125 
126 UINT64
127 EFIAPI
128 ArmReadCntvOff (
129   VOID
130   );
131 
132 VOID
133 EFIAPI
134 ArmWriteCntvOff (
135   UINT64   Val
136   );
137 
138 #endif // __ARM_ARCH_TIMER_H_
139 
140