\r
#include <Protocol/DebugSupport.h> // for MAX_ARM_EXCEPTION\r
\r
-UINTN gMaxExceptionNumber = MAX_ARM_EXCEPTION;\r
-EFI_EXCEPTION_CALLBACK gExceptionHandlers[MAX_ARM_EXCEPTION + 1] = { 0 };\r
+UINTN gMaxExceptionNumber = MAX_ARM_EXCEPTION;\r
+EFI_EXCEPTION_CALLBACK gExceptionHandlers[MAX_ARM_EXCEPTION + 1] = { 0 };\r
EFI_EXCEPTION_CALLBACK gDebuggerExceptionHandlers[MAX_ARM_EXCEPTION + 1] = { 0 };\r
-PHYSICAL_ADDRESS gExceptionVectorAlignmentMask = ARM_VECTOR_TABLE_ALIGNMENT;\r
+PHYSICAL_ADDRESS gExceptionVectorAlignmentMask = ARM_VECTOR_TABLE_ALIGNMENT;\r
\r
// Exception handler contains branch to vector location (jmp $) so no handler\r
// NOTE: This code assumes vectors are ARM and not Thumb code\r
-UINTN gDebuggerNoHandlerValue = 0xEAFFFFFE;\r
+UINTN gDebuggerNoHandlerValue = 0xEAFFFFFE;\r
\r
RETURN_STATUS\r
ArchVectorConfig (\r
- IN UINTN VectorBaseAddress\r
+ IN UINTN VectorBaseAddress\r
)\r
{\r
// if the vector address corresponds to high vectors\r
if (VectorBaseAddress == 0xFFFF0000) {\r
// set SCTLR.V to enable high vectors\r
- ArmSetHighVectors();\r
- }\r
- else {\r
+ ArmSetHighVectors ();\r
+ } else {\r
// Set SCTLR.V to 0 to enable VBAR to be used\r
- ArmSetLowVectors();\r
+ ArmSetLowVectors ();\r
}\r
\r
return RETURN_SUCCESS;\r