ArmPkg/Include/Library/ArmGenericTimerCounterLib.h

   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   SPDX-License-Identifier: BSD-2-Clause-Patent
   7
   8 **/
   9
  10 #ifndef ARM_GENERIC_TIMER_COUNTER_LIB_H_
  11 #define ARM_GENERIC_TIMER_COUNTER_LIB_H_
  12
  13 VOID
  14 EFIAPI
  15 ArmGenericTimerEnableTimer (
  16   VOID
  17   );
  18
  19 VOID
  20 EFIAPI
  21 ArmGenericTimerReenableTimer (
  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 // ARM_GENERIC_TIMER_COUNTER_LIB_H_