diff options
Diffstat (limited to 'cpukit/score/src/interr.c')
-rw-r--r-- | cpukit/score/src/interr.c | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/cpukit/score/src/interr.c b/cpukit/score/src/interr.c index 24ac9a49a0..526023f5ba 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 ); |