[PATCH 1/4] score: Do not disable ISR in _Terminate()

[Sebastian Huber]

This partially reverts 38ee75853f674977609bd078c69fb53420afdd08.  Let
the calling context decide if interrupts must be disabled or not.  The
goal is to enable fatal extensions to continue program execution after
some fatal errors.
---
 cpukit/score/src/interr.c | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/cpukit/score/src/interr.c b/cpukit/score/src/interr.c
index 24ac9a4..526023f 100644
--- a/cpukit/score/src/interr.c
+++ b/cpukit/score/src/interr.c
@@ -19,7 +19,6 @@
 #endif
 
 #include <rtems/score/interr.h>
-#include <rtems/score/isrlevel.h>
 #include <rtems/score/smpimpl.h>
 #include <rtems/score/sysstate.h>
 #include <rtems/score/userextimpl.h>
@@ -34,11 +33,6 @@ void _Terminate(
   Internal_errors_t       the_error
 )
 {
-  ISR_Level level;
-
-  _ISR_Local_disable( level );
-  (void) level;
-
   _SMP_Request_shutdown();
 
   _User_extensions_Fatal( the_source, is_internal, the_error );
-- 
1.8.4.5