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