**/\r
\r
#include <Library/ArmGenericTimerCounterLib.h>\r
-#include <Library/ArmArchTimer.h>\r
+#include <Library/ArmLib.h>\r
\r
VOID\r
EFIAPI\r
{\r
UINTN TimerCtrlReg;\r
\r
- ArmArchTimerReadReg (CntpCtl, (VOID *)&TimerCtrlReg);\r
+ TimerCtrlReg = ArmReadCntpCtl ();\r
TimerCtrlReg |= ARM_ARCH_TIMER_ENABLE;\r
- ArmArchTimerWriteReg (CntpCtl, (VOID *)&TimerCtrlReg);\r
+ ArmWriteCntpCtl (TimerCtrlReg);\r
}\r
\r
VOID\r
{\r
UINTN TimerCtrlReg;\r
\r
- ArmArchTimerReadReg (CntpCtl, (VOID *)&TimerCtrlReg);\r
+ TimerCtrlReg = ArmReadCntpCtl ();\r
TimerCtrlReg &= ~ARM_ARCH_TIMER_ENABLE;\r
- ArmArchTimerWriteReg (CntpCtl, (VOID *)&TimerCtrlReg);\r
+ ArmWriteCntpCtl (TimerCtrlReg);\r
}\r
\r
VOID\r
IN UINTN FreqInHz\r
)\r
{\r
- ArmArchTimerWriteReg (CntFrq, (VOID *)&FreqInHz);\r
+ ArmWriteCntFrq (FreqInHz);\r
}\r
\r
UINTN\r
VOID\r
)\r
{\r
- UINTN ArchTimerFreq = 0;\r
- ArmArchTimerReadReg (CntFrq, (VOID *)&ArchTimerFreq);\r
- return ArchTimerFreq;\r
+ return ArmReadCntFrq ();\r
}\r
\r
UINTN\r
VOID\r
)\r
{\r
- UINTN ArchTimerValue;\r
- ArmArchTimerReadReg (CntpTval, (VOID *)&ArchTimerValue);\r
-\r
- return ArchTimerValue;\r
+ return ArmReadCntpTval ();\r
}\r
\r
\r
IN UINTN Value\r
)\r
{\r
- ArmArchTimerWriteReg (CntpTval, (VOID *)&Value);\r
+ ArmWriteCntpTval (Value);\r
}\r
\r
UINT64\r
VOID\r
)\r
{\r
- UINT64 SystemCount;\r
- ArmArchTimerReadReg (CntPct, (VOID *)&SystemCount);\r
-\r
- return SystemCount;\r
+ return ArmReadCntPct ();\r
}\r
\r
UINTN\r
VOID\r
)\r
{\r
- UINTN Value;\r
- ArmArchTimerReadReg (CntpCtl, (VOID *)&Value);\r
-\r
- return Value;\r
+ return ArmReadCntpCtl ();\r
}\r
\r
VOID\r
UINTN Value\r
)\r
{\r
- ArmArchTimerWriteReg (CntpCtl, (VOID *)&Value);\r
+ ArmWriteCntpCtl (Value);\r
}\r
\r
UINT64\r
VOID\r
)\r
{\r
- UINT64 Value;\r
- ArmArchTimerReadReg (CntpCval, (VOID *)&Value);\r
-\r
- return Value;\r
+ return ArmReadCntpCval ();\r
}\r
\r
VOID\r
IN UINT64 Value\r
)\r
{\r
- ArmArchTimerWriteReg (CntpCval, (VOID *)&Value);\r
+ ArmWriteCntpCval (Value);\r
}\r