VOID\r
)\r
{\r
- UINTN TimerCtrlReg;\r
+ UINTN TimerCtrlReg;\r
\r
- TimerCtrlReg = ArmReadCntpCtl ();\r
+ TimerCtrlReg = ArmReadCntpCtl ();\r
TimerCtrlReg |= ARM_ARCH_TIMER_ENABLE;\r
ArmWriteCntpCtl (TimerCtrlReg);\r
}\r
VOID\r
)\r
{\r
- UINTN TimerCtrlReg;\r
+ UINTN TimerCtrlReg;\r
\r
- TimerCtrlReg = ArmReadCntpCtl ();\r
+ TimerCtrlReg = ArmReadCntpCtl ();\r
TimerCtrlReg &= ~ARM_ARCH_TIMER_ENABLE;\r
ArmWriteCntpCtl (TimerCtrlReg);\r
}\r
return ArmReadCntpTval ();\r
}\r
\r
-\r
VOID\r
EFIAPI\r
ArmGenericTimerSetTimerVal (\r
- IN UINTN Value\r
+ IN UINTN Value\r
)\r
{\r
ArmWriteCntpTval (Value);\r
VOID\r
EFIAPI\r
ArmGenericTimerSetTimerCtrlReg (\r
- UINTN Value\r
+ UINTN Value\r
)\r
{\r
ArmWriteCntpCtl (Value);\r
VOID\r
EFIAPI\r
ArmGenericTimerSetCompareVal (\r
- IN UINT64 Value\r
+ IN UINT64 Value\r
)\r
{\r
ArmWriteCntpCval (Value);\r