// If the security extension is not implemented, set Timer Frequency\r
// here.\r
//\r
- if ((ArmReadIdPfr1 () & ARM_PFR1_SEC) == 0x0) {\r
+ if (ArmHasSecurityExtensions ()) {\r
ArmGenericTimerSetTimerFreq (PcdGet32 (PcdArmArchTimerFreqInHz));\r
}\r
#endif\r