1 /** @file
2 
3   Copyright (c) 2011 - 2014, ARM Ltd. All rights reserved.<BR>
4   Copyright (c) 2014, Linaro Ltd. All rights reserved.<BR>
5 
6   This program and the accompanying materials
7   are licensed and made available under the terms and conditions of the BSD License
8   which accompanies this distribution.  The full text of the license may be found at
9   http://opensource.org/licenses/bsd-license.php
10 
11   THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
12   WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
13 
14 **/
15 
16 #ifndef __ARM_GENERIC_TIMER_COUNTER_LIB_H__
17 #define __ARM_GENERIC_TIMER_COUNTER_LIB_H__
18 
19 VOID
20 EFIAPI
21 ArmGenericTimerEnableTimer (
22   VOID
23   );
24 
25 VOID
26 EFIAPI
27 ArmGenericTimerDisableTimer (
28   VOID
29   );
30 
31 VOID
32 EFIAPI
33 ArmGenericTimerSetTimerFreq (
34   IN   UINTN  FreqInHz
35   );
36 
37 UINTN
38 EFIAPI
39 ArmGenericTimerGetTimerFreq (
40   VOID
41   );
42 
43 VOID
44 EFIAPI
45 ArmGenericTimerSetTimerVal (
46   IN   UINTN   Value
47   );
48 
49 UINTN
50 EFIAPI
51 ArmGenericTimerGetTimerVal (
52   VOID
53   );
54 
55 UINT64
56 EFIAPI
57 ArmGenericTimerGetSystemCount (
58   VOID
59   );
60 
61 UINTN
62 EFIAPI
63 ArmGenericTimerGetTimerCtrlReg (
64   VOID
65   );
66 
67 VOID
68 EFIAPI
69 ArmGenericTimerSetTimerCtrlReg (
70   UINTN Value
71   );
72 
73 UINT64
74 EFIAPI
75 ArmGenericTimerGetCompareVal (
76   VOID
77   );
78 
79 VOID
80 EFIAPI
81 ArmGenericTimerSetCompareVal (
82   IN   UINT64   Value
83   );
84 
85 #endif
86