VOID\r
)\r
{\r
- UINTN TimerCtrlReg;\r
+ UINTN TimerCtrlReg;\r
\r
- TimerCtrlReg = ArmReadCntvCtl ();\r
+ TimerCtrlReg = ArmReadCntvCtl ();\r
TimerCtrlReg |= ARM_ARCH_TIMER_ENABLE;\r
ArmWriteCntvCtl (TimerCtrlReg);\r
}\r
VOID\r
)\r
{\r
- UINTN TimerCtrlReg;\r
+ UINTN TimerCtrlReg;\r
\r
- TimerCtrlReg = ArmReadCntvCtl ();\r
+ TimerCtrlReg = ArmReadCntvCtl ();\r
TimerCtrlReg &= ~ARM_ARCH_TIMER_ENABLE;\r
ArmWriteCntvCtl (TimerCtrlReg);\r
}\r
return ArmReadCntvTval ();\r
}\r
\r
-\r
VOID\r
EFIAPI\r
ArmGenericTimerSetTimerVal (\r
- IN UINTN Value\r
+ IN UINTN Value\r
)\r
{\r
ArmWriteCntvTval (Value);\r
VOID\r
EFIAPI\r
ArmGenericTimerSetTimerCtrlReg (\r
- UINTN Value\r
+ UINTN Value\r
)\r
{\r
ArmWriteCntvCtl (Value);\r
VOID\r
EFIAPI\r
ArmGenericTimerSetCompareVal (\r
- IN UINT64 Value\r
+ IN UINT64 Value\r
)\r
{\r
ArmWriteCntvCval (Value);\r