VOID\r
)\r
{\r
- UINT32 IccSre;\r
+ UINT32 IccSre;\r
\r
// Ideally we would like to use the GICC IIDR Architecture version here, but\r
// this does not seem to be very reliable as the implementation could easily\r
ArmGicV3SetControlSystemRegisterEnable (IccSre | ICC_SRE_EL2_SRE);\r
IccSre = ArmGicV3GetControlSystemRegisterEnable ();\r
}\r
+\r
if (IccSre & ICC_SRE_EL2_SRE) {\r
return ARM_GIC_ARCH_REVISION_3;\r
}\r