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 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