diff options
Diffstat (limited to 'cpukit/score/src/wkspace.c')
-rw-r--r-- | cpukit/score/src/wkspace.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/cpukit/score/src/wkspace.c b/cpukit/score/src/wkspace.c index ae48e4482a..13dfc03706 100644 --- a/cpukit/score/src/wkspace.c +++ b/cpukit/score/src/wkspace.c @@ -134,7 +134,7 @@ void _Workspace_Handler_initialization( } if ( remaining > 0 ) { - _Terminate( INTERNAL_ERROR_CORE, INTERNAL_ERROR_TOO_LITTLE_WORKSPACE ); + _Internal_error( INTERNAL_ERROR_TOO_LITTLE_WORKSPACE ); } _Heap_Protection_set_delayed_free_fraction( &_Workspace_Area, 1 ); @@ -200,7 +200,7 @@ void *_Workspace_Allocate_or_fatal_error( #endif if ( memory == NULL ) - _Terminate( INTERNAL_ERROR_CORE, INTERNAL_ERROR_WORKSPACE_ALLOCATION ); + _Internal_error( INTERNAL_ERROR_WORKSPACE_ALLOCATION ); return memory; } |