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   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 ArmGenericTimerReenableTimer (
  28   VOID
  29   );
  30
  31 VOID
  32 EFIAPI
  33 ArmGenericTimerDisableTimer (
  34   VOID
  35   );
  36
  37 VOID
  38 EFIAPI
  39 ArmGenericTimerSetTimerFreq (
  40   IN   UINTN  FreqInHz
  41   );
  42
  43 UINTN
  44 EFIAPI
  45 ArmGenericTimerGetTimerFreq (
  46   VOID
  47   );
  48
  49 VOID
  50 EFIAPI
  51 ArmGenericTimerSetTimerVal (
  52   IN   UINTN   Value
  53   );
  54
  55 UINTN
  56 EFIAPI
  57 ArmGenericTimerGetTimerVal (
  58   VOID
  59   );
  60
  61 UINT64
  62 EFIAPI
  63 ArmGenericTimerGetSystemCount (
  64   VOID
  65   );
  66
  67 UINTN
  68 EFIAPI
  69 ArmGenericTimerGetTimerCtrlReg (
  70   VOID
  71   );
  72
  73 VOID
  74 EFIAPI
  75 ArmGenericTimerSetTimerCtrlReg (
  76   UINTN Value
  77   );
  78
  79 UINT64
  80 EFIAPI
  81 ArmGenericTimerGetCompareVal (
  82   VOID
  83   );
  84
  85 VOID
  86 EFIAPI
  87 ArmGenericTimerSetCompareVal (
  88   IN   UINT64   Value
  89   );
  90
  91 #endif