ArmGenericTimerCounterLib.h

Go to the documentation of this file.

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