}\r
}\r
\r
- // Make sure System Register access is enabled (SRE). This depends on the\r
- // lower levels giving us permission, otherwise we will cause an exception\r
- // here.\r
- // Note: We do not need to set ICC_SRE_EL2.Enable because the OS is started at the\r
- // same exception level.\r
- // It is the OS responsibility to set this bit.\r
- ArmGicV3SetControlSystemRegisterEnable (ArmGicV3GetControlSystemRegisterEnable () | ICC_SRE_EL2_SRE);\r
-\r
// Set binary point reg to 0x7 (no preemption)\r
ArmGicV3SetBinaryPointer (0x7);\r
\r