#include <Library/ArmLib.h>\r
#include <Library/ArmGicLib.h>\r
\r
-STATIC ARM_GIC_ARCH_REVISION mGicArchRevision;\r
+STATIC ARM_GIC_ARCH_REVISION mGicArchRevision;\r
\r
RETURN_STATUS\r
EFIAPI\r
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
mGicArchRevision = ARM_GIC_ARCH_REVISION_3;\r
goto Done;\r