/* Check whether the CPU supports the Security extensions */
BOOLEAN EFIAPI ArmHasSecurityExtensions(VOID)
/* Check whether the CPU supports the Security extensions */
BOOLEAN EFIAPI ArmHasSecurityExtensions(VOID)
{
  return ((ArmReadIdPfr1 () & ARM_PFR1_SEC) != 0);
}