diff options
Diffstat (limited to 'cpukit/score/src/interr.c')
-rw-r--r-- | cpukit/score/src/interr.c | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/cpukit/score/src/interr.c b/cpukit/score/src/interr.c index fd5a4c92b8..0b4ad1f7f9 100644 --- a/cpukit/score/src/interr.c +++ b/cpukit/score/src/interr.c @@ -21,6 +21,7 @@ #endif #include <rtems/score/interr.h> +#include <rtems/score/cpuimpl.h> #include <rtems/score/smpimpl.h> #include <rtems/score/sysstate.h> #include <rtems/score/userextimpl.h> @@ -36,9 +37,6 @@ void _Terminate( _System_state_Set( SYSTEM_STATE_TERMINATED ); _SMP_Request_shutdown(); _CPU_Fatal_halt( the_source, the_error ); - - /* will not return from this routine */ - while (true); } void _Internal_error( Internal_errors_Core_list core_error ) |