\r
#include <Base.h>\r
#include <Library/ArmCpuLib.h>\r
-#include <Library/ArmArchTimer.h>\r
+#include <Library/ArmGenericTimerCounterLib.h>\r
#include <Library/PcdLib.h>\r
\r
#include <Chipset/ArmAemV8.h>\r
{\r
// Note: System Counter frequency can only be set in Secure privileged mode,\r
// if security extensions are implemented.\r
- ArmArchTimerSetTimerFreq (PcdGet32 (PcdArmArchTimerFreqInHz));\r
+ ArmGenericTimerSetTimerFreq (PcdGet32 (PcdArmArchTimerFreqInHz));\r
}\r
\r
\r