/** @file | |
Copyright (c) 2011 - 2014, ARM Ltd. All rights reserved.<BR> | |
Copyright (c) 2014, Linaro Ltd. All rights reserved.<BR> | |
SPDX-License-Identifier: BSD-2-Clause-Patent | |
**/ | |
#ifndef ARM_GENERIC_TIMER_COUNTER_LIB_H_ | |
#define ARM_GENERIC_TIMER_COUNTER_LIB_H_ | |
VOID | |
EFIAPI | |
ArmGenericTimerEnableTimer ( | |
VOID | |
); | |
VOID | |
EFIAPI | |
ArmGenericTimerReenableTimer ( | |
VOID | |
); | |
VOID | |
EFIAPI | |
ArmGenericTimerDisableTimer ( | |
VOID | |
); | |
VOID | |
EFIAPI | |
ArmGenericTimerSetTimerFreq ( | |
IN UINTN FreqInHz | |
); | |
UINTN | |
EFIAPI | |
ArmGenericTimerGetTimerFreq ( | |
VOID | |
); | |
VOID | |
EFIAPI | |
ArmGenericTimerSetTimerVal ( | |
IN UINTN Value | |
); | |
UINTN | |
EFIAPI | |
ArmGenericTimerGetTimerVal ( | |
VOID | |
); | |
UINT64 | |
EFIAPI | |
ArmGenericTimerGetSystemCount ( | |
VOID | |
); | |
UINTN | |
EFIAPI | |
ArmGenericTimerGetTimerCtrlReg ( | |
VOID | |
); | |
VOID | |
EFIAPI | |
ArmGenericTimerSetTimerCtrlReg ( | |
UINTN Value | |
); | |
UINT64 | |
EFIAPI | |
ArmGenericTimerGetCompareVal ( | |
VOID | |
); | |
VOID | |
EFIAPI | |
ArmGenericTimerSetCompareVal ( | |
IN UINT64 Value | |
); | |
#endif // ARM_GENERIC_TIMER_COUNTER_LIB_H_ |