15ArmGenericTimerEnableTimer (
21 TimerCtrlReg = ArmReadCntpCtl ();
22 TimerCtrlReg |= ARM_ARCH_TIMER_ENABLE;
23 ArmWriteCntpCtl (TimerCtrlReg);
28ArmGenericTimerReenableTimer (
36ArmGenericTimerDisableTimer (
42 TimerCtrlReg = ArmReadCntpCtl ();
43 TimerCtrlReg &= ~ARM_ARCH_TIMER_ENABLE;
44 ArmWriteCntpCtl (TimerCtrlReg);
49ArmGenericTimerSetTimerFreq (
53 ArmWriteCntFrq (FreqInHz);
58ArmGenericTimerGetTimerFreq (
62 return ArmReadCntFrq ();
67ArmGenericTimerGetTimerVal (
71 return ArmReadCntpTval ();
76ArmGenericTimerSetTimerVal (
80 ArmWriteCntpTval (Value);
85ArmGenericTimerGetSystemCount (
89 return ArmReadCntPct ();
94ArmGenericTimerGetTimerCtrlReg (
98 return ArmReadCntpCtl ();
103ArmGenericTimerSetTimerCtrlReg (
107 ArmWriteCntpCtl (Value);
112ArmGenericTimerGetCompareVal (
116 return ArmReadCntpCval ();
121ArmGenericTimerSetCompareVal (
125 ArmWriteCntpCval (Value);