VOID\r
)\r
{\r
- // Check if the ARM Generic Timer Extension is implemented\r
+ //\r
+ // Check if the ARM Generic Timer Extension is implemented.\r
+ //\r
if (ArmIsArchTimerImplemented ()) {\r
-\r
UINTN TimerFreq;\r
\r
- // Check if Architectural Timer frequency is valid number (should not be 0)\r
+ //\r
+ // Check if Architectural Timer frequency is valid (should not be 0).\r
+ //\r
ASSERT (PcdGet32 (PcdArmArchTimerFreqInHz));\r
\r
+ //\r
// Check if ticks/uS is not 0. The Architectural timer runs at constant\r
- // frequency irrespective of CPU frequency. According to General Timer Ref\r
- // manual lower bound of the frequency is in the range of 1-10MHz\r
+ // frequency, irrespective of CPU frequency. According to General Timer\r
+ // Ref manual, lower bound of the frequency is in the range of 1-10MHz.\r
+ //\r
ASSERT (TICKS_PER_MICRO_SEC);\r
\r
#ifdef MDE_CPU_ARM\r
- // Only set the frequency for ARMv7. We expect the secure firmware to have already do it\r
- // If the security extensions are not implemented set Timer Frequency\r
+ //\r
+ // Only set the frequency for ARMv7. We expect the secure firmware to\r
+ // have already done it.\r
+ // If the security extension is not implemented, set Timer Frequency\r
+ // here.\r
+ //\r
if ((ArmReadIdPfr1 () & ARM_PFR1_SEC) == 0x0) {\r
ArmGenericTimerSetTimerFreq (PcdGet32 (PcdArmArchTimerFreqInHz));\r
}\r
#endif\r
\r
- // Architectural Timer Frequency must be set in the Secure privileged(if secure extensions are supported) mode.\r
- // If the reset value (0) is returned just ASSERT.\r
+ //\r
+ // Architectural Timer Frequency must be set in the Secure privileged\r
+ // mode (if secure extension is supported).\r
+ // If the reset value (0) is returned, just ASSERT.\r
+ //\r
TimerFreq = ArmGenericTimerGetTimerFreq ();\r
ASSERT (TimerFreq != 0);\r
-\r
} else {\r
DEBUG ((EFI_D_ERROR, "ARM Architectural Timer is not available in the CPU, hence this library can not be used.\n"));\r
ASSERT (0);\r