; R0 is ExceptionType
mov R1,SP ; R1 is SystemContext
+ vpush {d0-d15} ; save vstm registers in case they are used in optimizations\r
+
/*
VOID
EFIAPI
*/
blx CommonCExceptionHandler ; Call exception handler
+\r
+ vpop {d0-d15}\r
ldr R1, [SP, #0x4c] ; Restore EFI_SYSTEM_CONTEXT_ARM.IFSR
mcr p15, 0, R1, c5, c0, 1 ; Write IFSR